Theorem ciSup_eq_ite

Modification history