Theorem Set.indicator_one_preimage

Modification history