Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

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

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
+40 −30

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

6e62506
Select commit
Loading
Failed to load commit list.
Open

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

Merge branch 'master' into eric-wieser/derivation-bimodule
6e62506
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs