Code

doc: edit Lean.MVarId.withReverted#3743

Code

Merged

kim-em merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom kmill:withReverted_docskmill/lean4:withReverted_docsCopy head branch name to clipboardMar 28, 2024

Commits

Commits on Mar 22, 2024

• docs: Lean.MVarId.withReverted

  Show description for f6bea75
  kmill

  committed
  f6bea75

  Copy full SHA for f6bea75

Commits on Mar 28, 2024

• empty commit to restart CI

  kim-em

  committed
  695640a

  Copy full SHA for 695640a