Skip to content

chore: fix spelling mistakes in src/Lean/Meta/#5436

Merged
nomeata merged 1 commit intoleanprover:masterfrom euprunin:typos-src-lean-metaSep 23, 2024

Commits

Commits on Sep 23, 2024