mathlib3
e2e45be1 - refactor(algebra/ring/basic): split out algebra.ring.defs

Commit

3 years ago

refactor(algebra/ring/basic): split out algebra.ring.defs

References

algebra_ring_basic

Author

kim-em

kim-em

Parents

Loading