Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tactic.interactive.not_or_distrib

Modification history

2018-07-06 03:44
tactic/interactive.lean
feat(tactic/cache): split cache related tactics off from `tactic.interactive`
Deleted tactic.interactive.not_or_distribView on Github →
2018-07-06 03:44
tactic/interactive.lean
feat(tactic/tauto): handle `or` in goal
Added tactic.interactive.not_or_distribView on Github →