mathlib3
17ebcf01 - chore(ring_theory/algebra_tower): relax typeclasses (#10078)

Commit

4 years ago

chore(ring_theory/algebra_tower): relax typeclasses (#10078) This generalizes some `comm_ring`s to `comm_semiring`s. Split from #10024

Author

eric-wieser

Parents