Commit 2024-12-03 16:13 a58d1606

View on Github →

chore: Generalize universes in RingTheory/Filtration (#19677)

Estimated changes

modified structure Ideal.Filtration