Theorem iInf_option_elim

Modification history