Theorem IntermediateField.adjoin.range_algebraMap_subset
Modification history
2025-08-22 16:06
Mathlib/FieldTheory/IntermediateField/Adjoin/Defs.lean
chore(FieldTheory/IntermediateField/Adjoin): golf entire `adjoin.range_algebraMap_subset` (#28434)
Modified IntermediateField.adjoin.range_algebraMap_subsetView on Github →