Theorem ite_and

Modification history