Theorem iSup_eq_if

Modification history