Theorem IntermediateField.adjoin.finrank

Modification history