Page history
Jump to navigation
Jump to search
Marshall
Add an entry for "direct function" (dfn) since it's easily confused with "direct definition"
15:36
+137
Marshall
Text replacement - "Direct definition (NARS)" to "Direct definition (operator)"
m02:01
+4
Marshall
Text replacement - "Direct definition (Iverson)" to "Direct definition (notation)"
m01:59
+1