Theorem Finset.subtype_eq_empty

Modification history