mathlib3
76792dcc - feat(algebra/add_torsor): add `prod.add_torsor` (#2980)

Commit

5 years ago

feat(algebra/add_torsor): add `prod.add_torsor` (#2980)

Author

urkud

urkud

Parents

Loading