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

Estimated changes