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

RomanJos wants to merge 5 commits into

leanprover:masterleanprover/fp-lean:masterfrom

RomanJos:patch-3RomanJos/fp-lean:patch-3Copy head branch name to clipboard