Theorem RingEquiv.comp_symm

Modification history