Theorem Finset.subtype_Ici_eq

Modification history