Def Mathlib.Tactic.Tauto.distribNotAt

Modification history

2023-01-18 21:55
Mathlib/Tactic/Tauto.lean
fix: more closely match mathlib3 behavior in tauto, improving performance (#1507) …
Deleted Mathlib.Tactic.Tauto.distribNotAtView on Github →
2022-12-21 04:17
Mathlib/Tactic/Tauto.lean
feat: implement basic version of tauto tactic (#1081) …
Added Mathlib.Tactic.Tauto.distribNotAtView on Github →