ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5199 on D218: Boolean function

Indicator function on set is uniquely defined by its support