Theorem Fin.Iic_eq_finset_subtype

Modification history