Skip to content

docs: fix typo "an position" → "a position" in Coercions.lean#275

Open
linbo328 wants to merge 1 commit into
leanprover:masterfrom
linbo328:fix/typo-coercions-lean
Open

docs: fix typo "an position" → "a position" in Coercions.lean#275
linbo328 wants to merge 1 commit into
leanprover:masterfrom
linbo328:fix/typo-coercions-lean

docs: fix typo an position -> a position in Coercions.lean

0167a18
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs