def List.reduceReplicate : Lean.Meta.Simp.DSimproc

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

Equations

• One or more equations did not get rendered due to their size.