mathlib3
d18061fb - chore(algebra/add_torsor): a few more lemmas and implicit args (#2964)

Commit

5 years ago

chore(algebra/add_torsor): a few more lemmas and implicit args (#2964)

Author

urkud

urkud

Parents

Loading