Skip to content

chore: fix spelling mistakes in src/Lean/Elab/#5435

Merged
david-christiansen merged 1 commit intoleanprover:masterfrom euprunin:typos-elabSep 23, 2024