Theorem AddChar.forall_apply_eq_zero

Modification history