mathlib into image2-lemmas

Commit

6 years ago

Merge branch 'image2-lemmas' of git://github.com/leanprover-community/mathlib into image2-lemmas

Author

urkud

Parents