mathlib3
84326cdb - chore(ring_theory/derivation): generalize tower instance

Commit

2 years ago

chore(ring_theory/derivation): generalize tower instance

References

#18936 - feat(ring_theory/derivation): support non-commutative rings (via bimodules)

Author

eric-wieser

eric-wieser

Parents

Loading