Theorem Finset.subtype_eq_univ

Modification history