Def Mathlib.Tactic.GCongr.symmExact

Modification history

2026-06-07 02:12
Mathlib/Tactic/GCongr/Core.lean
feat(GRewrite): new `grw` implementation (#38318) …
Deleted Mathlib.Tactic.GCongr.symmExactView on Github →
2023-06-15 06:25
Mathlib/Tactic/GCongr.lean
chore: move around `gcongr` material (#5067) …
Modified Mathlib.Tactic.GCongr.symmExactView on Github →
2023-06-05 08:37
Mathlib/Tactic/GCongr.lean
feat: tactic `gcongr` for "relational congruence" (#3965) …
Added Mathlib.Tactic.GCongr.symmExactView on Github →