Def Mathlib.Tactic.GCongr.gcongrForwardDischarger

Modification history

2023-12-04 23:32

Mathlib/Tactic/GCongr/Core.lean

refactor: code cleanup in gcongr (#8796) …

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