mathlib
4f3443a8 - feat(measure_theory/group/arithmetic): add a section about `opposite` (#10026)

Commit

4 years ago

feat(measure_theory/group/arithmetic): add a section about `opposite` (#10026)

Author

urkud

urkud

Parents

Loading