Theorem is_lub_csupᵢ

Modification history