Theorem apply_ite₂

Modification history