Skip to content

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

0167a18
Select commit
Loading
Failed to load commit list.
Open

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

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