Theorem Equiv.ringEquiv_apply

Modification history