Theorem iInf_sup_iInf

Modification history