Code

chore: deprecate List.iota#6708

Code

Merged

kim-em merged 2 commits intomasterleanprover/lean4:masterfrom deprecate_iotaleanprover/lean4:deprecate_iotaCopy head branch name to clipboardJan 21, 2025

+127-58

Commits

Commits on Jan 20, 2025

• chore: deprecate List.iota

  kim-em

  committed
  155f4ad

  Copy full SHA for 155f4ad

Commits on Jan 21, 2025

• add deprecations

  kim-em

  committed
  2427262

  Copy full SHA for 2427262