Theorem IntermediateField.adjoin_root_eq_top

Modification history