Fix some typos and add a reference in circle.tex#191
Open
fizruk wants to merge 1 commit intoUniMath:masterfrom
Open
Fix some typos and add a reference in circle.tex#191fizruk wants to merge 1 commit intoUniMath:masterfrom
fizruk wants to merge 1 commit intoUniMath:masterfrom
