Mathlib Changelog
v4
Changelog
About
Github
Theorem
IntermediateField.map_injective
Modification history
2024-07-09 09:09
Mathlib/FieldTheory/IntermediateField.lean
chore: add missing spaces around = or := (#14554) …
Modified
IntermediateField.map_injective
View on Github →
2024-02-07 22:10
Mathlib/FieldTheory/IntermediateField.lean
feat: Proof that `IntermediateField.lift` is injective (#10031) …
Added
IntermediateField.map_injective
View on Github →