Theorem RingEquiv.ofLeftInverseS_apply

Modification history