Theorem iSup_dite

Modification history