Theorem inf_le_sup

Modification history