Skip to content

fix: missing comma in ch9.Objects#143

Open
dmyTRUEk wants to merge 1 commit into
leanprover:masterfrom
dmyTRUEk:master
Open

fix: missing comma in ch9.Objects#143
dmyTRUEk wants to merge 1 commit into
leanprover:masterfrom
dmyTRUEk:master

fix: missing comma in ch9.Objects

218119f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs