Environment extension for the forward-reasoning part of the gcongr
tactic #
Read a gcongr_forward
extension from a declaration of the right type.
Instances For
Environment extensions for gcongrForward
declarations
Mathlib.Tactic.GCongr.ForwardAttr
gcongr
tactic #Read a gcongr_forward
extension from a declaration of the right type.
Environment extensions for gcongrForward
declarations