Structure Mathlib.Tactic.GCongr.ForwardExt

Modification history