Documentation

Lean.Meta.Tactic.Simp.BuiltinSimprocs.Array

Simplification procedure for #[...][n] for n a Nat literal.

Equations
    Instances For

      Simplification procedure for #[...][n]? for n a Nat literal.

      Equations
        Instances For

          Simplification procedure for #[...][n]! for n a Nat literal.

          Equations
            Instances For