Commit 2024-10-30 12:41 cefc7e3e
View on Github →feat(FieldTheory.Separable) : generalize IsSeparable.of_equiv_equiv
to noncommutative cases (#17147)
Greetings! In this PR I attempt to generalize IsSeparable.of_equiv_equiv
and some related codes to noncommutative cases. This could be useful in #16525