Commit 2020-11-23 13:47 562be707
View on Github →feat(field_theory/separable): a separable polynomial is squarefree (#5039) I prove that a separable polynomial is squarefree.
feat(field_theory/separable): a separable polynomial is squarefree (#5039) I prove that a separable polynomial is squarefree.