Structure Mathlib.Tactic.Tauto.Config

Modification history

2022-12-21 04:17
Mathlib/Tactic/Tauto.lean
feat: implement basic version of tauto tactic (#1081) …
Added Mathlib.Tactic.Tauto.ConfigView on Github →