Theorem ite_apply

Modification history