Theorem IsSeparable.map

Modification history

2025-05-19 06:33
Mathlib/FieldTheory/Separable.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Added IsSeparable.mapView on Github →