Skip to content

Modify metavariables in Getting To Know Lean -> Polymorphism#222

Open
RomanJos wants to merge 5 commits into
leanprover:masterfrom
RomanJos:patch-3
Open

Modify metavariables in Getting To Know Lean -> Polymorphism#222
RomanJos wants to merge 5 commits into
leanprover:masterfrom
RomanJos:patch-3

Update Polymorphism.lean

6f15425
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs