Theorem FiniteField.nonempty_algHom_of_finrank_dvd

Modification history

2025-10-23 23:46
Mathlib/FieldTheory/Finite/GaloisField.lean
feat(FieldTheory): construct extension of finite field (#30738) …
Added FiniteField.nonempty_algHom_of_finrank_dvdView on Github →