Theorem IntermediateField.adjoin_eq_algebra_adjoin

Modification history