Theorem Set.infs_empty

Modification history