Mathlib v3 is deprecated. Go to Mathlib v4

Theorem push_neg.not_and_distrib_eq

Modification history

2022-09-28 21:58
src/tactic/push_neg.lean
feat(tactic/push_neg): option for an alternate normal form of `¬ (P ∧ Q)` (#16586) …
Added push_neg.not_and_distrib_eqView on Github →