mathlib
6e62506c - Merge branch 'master' into eric-wieser/derivation-bimodule

Commit

2 years ago

Merge branch 'master' into eric-wieser/derivation-bimodule

References

eric-wieser/derivation-bimodule

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

Author

eric-wieser

eric-wieser

Parents

Loading