Theorem continuous_boolIndicator_iff_clopen

Modification history