mathlib
066ffdb3 - chore(algebra/*): provide `non_assoc_ring` instances (#12414)

Commit

4 years ago

chore(algebra/*): provide `non_assoc_ring` instances (#12414)

Author

eric-wieser

eric-wieser

Parents

Loading