Theorem apply_dite₂

Modification history