Theorem le_glb_Ioi

Modification history