Theorem Set.infs_singleton

Modification history