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

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

RomanJos wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

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