Commit 2025-04-15 18:40 2f52b383

View on Github →

chore(RingTheory): fix variable in FilteredAlgebra.Basic (#24071) Fix variable in FilteredAlgebra.Basic, removing commutative condition for index set.

Estimated changes