Theorem IntermediateField.adjoin_eq_range_algebraMap_adjoin

Modification history