Skip to content

Update dot notation in Getting To Know Lean -> Structure - #221

Open
RomanJos wants to merge 1 commit into
leanprover:masterfrom
RomanJos:patch-2
Open

Update dot notation in Getting To Know Lean -> Structure#221
RomanJos wants to merge 1 commit into
leanprover:masterfrom
RomanJos:patch-2

Update Structures.lean

1f70229
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs