Mathlib Changelog
v4
Changelog
About
Github
Theorem
IntermediateField.normal_iff_forall_map_le
Modification history
2024-05-30 15:41
Mathlib/FieldTheory/NormalClosure.lean
style: fix some mis-placed by (#13203)
Modified
IntermediateField.normal_iff_forall_map_le
View on Github →
2023-09-07 00:04
Mathlib/FieldTheory/NormalClosure.lean
refactor(FieldTheory/NormalClosure): change definition and add API (#6163) …
Added
IntermediateField.normal_iff_forall_map_le
View on Github →