Theorem IntermediateField.algebra_adjoin_le_adjoin

Modification history