Theorem Fin.Ici_eq_finset_subtype

Modification history