Theorem Set.subsingleton_of_isLUB_le_isGLB

Modification history