Theorem is_glb_cinfᵢ

Modification history