Theorem RingEquiv.sofLeftInverse'_apply

Modification history