Skip to content

Update Mathlib/Algebra/RingQuot.lean

b0e9a79
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - feat(Algebra/TensorAlgebra): support towers of algebras #6073

Update Mathlib/Algebra/RingQuot.lean
b0e9a79
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs