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
Open

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

wants to merge 4 commits into from

Commits on May 3, 2023

  1. chore(ring_theory/derivation): generalize tower instance

    @eric-wieser
    eric-wieser committed May 3, 2023
    Configuration menu
    Copy the full SHA
    84326cd View commit details
    Browse the repository at this point in the history

Commits on May 4, 2023

  1. feat(ring_theory/derivation): support non-commutative rings (via bimo… 

    …dules)
    @eric-wieser
    eric-wieser committed May 4, 2023
    Configuration menu
    Copy the full SHA
    8fafd52 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'eric-wieser/derivation-tower-instance' into eric-wieser… 

    …/derivation-bimodule
    @eric-wieser
    eric-wieser committed May 4, 2023
    Configuration menu
    Copy the full SHA
    b10c52a View commit details
    Browse the repository at this point in the history

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

    @eric-wieser
    eric-wieser authored May 4, 2023
    Configuration menu
    Copy the full SHA
    6e62506 View commit details
    Browse the repository at this point in the history