Theorem IsGLB.cinfₛ_eq

Modification history