Theorem is_glb_cinfₛ

Modification history