User contributions for 2604:2D80:4D89:9800:FC03:B86C:9084:2CC8
Jump to navigation
Jump to search
11 September 2025
- 02:4202:42, 11 September 2025 diff hist +17,917 N Indicator function Changed a "maps to" arrow to a typical right arrow in a "domain, right arrow, codomain" format of a function definition. This was in the definition of the indicator function on a subset A. current