Def Mathlib.Tactic.GCongr.applyGCongrLemma

Modification history

2026-06-07 02:12

Mathlib/Tactic/GCongr/Core.lean

feat(GRewrite): new `grw` implementation (#38318) …

Added Mathlib.Tactic.GCongr.applyGCongrLemma View on Github →