mathlib3
feat(ring_theory/derivation): support non-commutative rings (via bimodules)
#18936
Open
Overview
Commits
4
Changes
View On GitHub

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

eric-wieser wants to merge 4 commits into master from eric-wieser/derivation-bimodule
eric-wieser
eric-wieser eric-wieser added WIP
eric-wieser eric-wieser changed the title Eric wieser/derivation bimodule feat(ring_theory/derivation): support non-commutative rings (via bimodules) 2 years ago
eric-wieser chore(ring_theory/derivation): generalize tower instance
84326cdb
eric-wieser feat(ring_theory/derivation): support non-commutative rings (via bimo…
8fafd524
eric-wieser eric-wieser force pushed from 72f9419e to 8fafd524 2 years ago
eric-wieser Merge branch 'eric-wieser/derivation-tower-instance' into eric-wieser…
b10c52ab
mathlib-dependent-issues-bot mathlib-dependent-issues-bot added blocked-by-other-PR
mathlib-dependent-issues-bot mathlib-dependent-issues-bot removed blocked-by-other-PR
mathlib-dependent-issues-bot
eric-wieser Merge branch 'master' into eric-wieser/derivation-bimodule
6e62506c
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
WIP too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum