mathlib3
b700ccd6 - feat(algebra/group/units): teach `simps` about `units`

Commit

4 years ago

feat(algebra/group/units): teach `simps` about `units`

References

eric-wieser/dont-cancel-me

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading