Commit 2026-04-01 07:42 39f5a673

View on Github →

chore(RingTheory/Smooth): remove fg condition for Algebra.FormallySmooth.of_algebraicIndependent_of_isSeparable (#37301)

Estimated changes