Theorem Set.toFinset_eq_univ

Modification history