Commit 2023-12-26 06:12 caeafefd

View on Github →

chore(RingTheory/Polynomial/SeparableDegree): add HasSeparableContraction.isSeparableContraction and ... (#9272) … move Irreducible.hasSeparableContraction to global namespace

Estimated changes