Theorem Finset.subtype_Iic_eq

Modification history