Theorem Finset.subset_one_iff_eq

Modification history