Theorem RingEquiv.ofLeftInverse'_apply

Modification history