Mathlib v3 is deprecated. Go to Mathlib v4

Theorem galois_field.is_splitting_field_of_card_eq

Modification history

2021-10-20 13:23

src/field_theory/finite/galois_field.lean

feat(field_theory/finite/galois_field): uniqueness of finite fields (#9817) …

Added galois_field.is_splitting_field_of_card_eq View on Github →