Structure Mathlib.Tactic.GCongr.GCongrHyp

Modification history

2026-06-07 02:12
Mathlib/Tactic/GCongr/Core.lean
feat(GRewrite): new `grw` implementation (#38318) …
Added Mathlib.Tactic.GCongr.GCongrHypView on Github →