Theorem IntermediateField.eq_of_le_of_finrank_eq

Modification history