Theorem isGLB_singleton

Modification history