Theorem AlgHom.card

Modification history

2023-12-10 15:17
Mathlib/FieldTheory/PrimitiveElement.lean
feat: Add some equivalent characterisations of primitive elements in finite extensions of fields (#8609) …
Modified AlgHom.cardView on Github →
2023-08-10 19:52
Mathlib/FieldTheory/PrimitiveElement.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified AlgHom.cardView on Github →
2023-06-16 00:13
Mathlib/FieldTheory/PrimitiveElement.lean
feat: port FieldTheory.PrimitiveElement (#5071)
Added AlgHom.cardView on Github →