Documentation

Mathlib.Tactic.GCongr.ForwardAttr

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

An extension for gcongr_forward.

Instances For

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

    Equations
    Instances For