mathlib
b0497af9 - feat(algebra/*): some simp lemmas, and changing binders

Commit

5 years ago

feat(algebra/*): some simp lemmas, and changing binders

Author

kim-em

kim-em

Parents

Loading