Theorem is_lub_csupₛ'

Modification history