Mathlib v3 is deprecated. Go to Mathlib v4

Theorem number_field.embeddings.card

Modification history

2022-06-20 09:15

src/number_theory/number_field.lean

feat(number_theory/number_field): add definitions and results about embeddings (#14749) …

Added number_field.embeddings.card View on Github →