Theorem Set.indicator_one_inj

Modification history