mathlib
9631a913 - feat(ring_theory/multiplicity): int.nat_abs (#13420)

Commit

3 years ago

feat(ring_theory/multiplicity): int.nat_abs (#13420) Spinning off of #12454

Author

BoltonBailey

BoltonBailey

Parents

Loading