Theorem IntermediateField.eq_of_le_of_finrank_eq'

Modification history