Theorem iSup_option_elim

Modification history