Skip to content

Merge branch 'Auslander-Buchsbaum-Serre-Aux' into Localization-of-Reg…

a1353a2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries #29802

Merge branch 'Auslander-Buchsbaum-Serre-Aux' into Localization-of-Reg…
a1353a2
Select commit
Loading
Failed to load commit list.