Documentation

Lean.Meta.Tactic.Simp.BuiltinSimprocs.List

Simplification procedure for List.replicate applied to a Nat literal.

Equations
    Instances For