Documentation

Mathlib.Tactic.GCongr.ForwardAttr

Environment extension for the forward-reasoning part of the gcongr tactic #

An extension for gcongr_forward.

Read a gcongr_forward extension from a declaration of the right type.

Equations
  • One or more equations did not get rendered due to their size.