Documentation

Lean.Meta.Tactic.Simp.SimpAll

Instances For
    Equations
    Instances For
      Instances For
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          def Lean.Meta.simpAll (mvarId : MVarId) (ctx : Simp.Context) (simprocs : Simp.SimprocsArray := #[]) (stats : Simp.Stats := { }) :
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For