Theorem isSeparable_algebraMap

Modification history

2024-09-19 08:44

Mathlib/FieldTheory/Separable.lean

feat(FieldTheory/Separable): Add lemmas of elementwise `IsSeparable` (#14404) …

Added isSeparable_algebraMap View on Github →