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
chore(RingTheory/Polynomial/SeparableDegree): add HasSeparableContraction.isSeparableContraction
and ... (#9272)
… move Irreducible.hasSeparableContraction
to global namespace