Mathlib Changelog
v4
Changelog
About
Github
Theorem
IntermediateField.mem_adjoin_iff_div
Modification history
2025-04-24 04:08
Mathlib/FieldTheory/IntermediateField/Adjoin/Defs.lean
chore(RingTheory): equivalence between algebraicity over `IntermediateField.adjoin` and `Algebra.adjoin` (#24004)
Added
IntermediateField.mem_adjoin_iff_div
View on Github →