Def Mathlib.Tactic.Tauto.distribNotOnceAt

Modification history

2023-01-18 21:55
Mathlib/Tactic/Tauto.lean
fix: more closely match mathlib3 behavior in tauto, improving performance (#1507) …
Added Mathlib.Tactic.Tauto.distribNotOnceAtView on Github →