Theorem IntermediateField.equivOfEq_symm

Modification history