Theorem Set.infs_comm

Modification history