Theorem IntermediateField.adjoinRootEquivAdjoin_apply_root

Modification history