Theorem iInf_le'

Modification history