PR #1373 chore(unicode): improve arrows

chore(unicode): improve arrows

khoek committed 6 years ago

grammar

khoek committed 6 years ago

moar

khoek committed 6 years ago

Merge branch 'master' of github.com:leanprover-community/mathlib

khoek committed 6 years ago

Merge branch 'improve-arrows' of github.com:leanprover-community/mathlib

khoek committed 6 years ago

Merge branch 'master' into improve-arrows

khoek committed 6 years ago

Merge branch 'master' into improve-arrows

mergify[bot] committed 6 years ago

mathlib3 chore(unicode): improve arrows #1373 Merged