Theorem IntermediateField.equivOfEq_rfl

Modification history