Def Mathlib.Tactic.GCongr.gcongrDischarger

Modification history

2023-12-04 23:32
Mathlib/Tactic/GCongr/Core.lean
refactor: code cleanup in gcongr (#8796) …
Added Mathlib.Tactic.GCongr.gcongrDischargerView on Github →