Theorem Fin.Ioi_eq_finset_subtype

Modification history