Theorem ciInf_eq_ite

Modification history