Structure Mathlib.Tactic.Tauto.DistribNotState

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.DistribNotStateView on Github →