Theorem Set.Finite.toFinset_singleton

Modification history