Theorem Set.singleton_infs_singleton

Modification history