Theorem IntermediateField.finrank_adjoin_simple_eq_one_iff

Modification history