Theorem Set.toFinset_singleton

Modification history