Theorem Set.toFinset_nonempty

Modification history