Theorem IsLeast.isGLB

Modification history