Theorem IntermediateField.eq_of_le_of_finrank_le'

Modification history