Theorem Finsupp.single_eq_set_indicator

Modification history