Theorem AlgEquiv.ofLeftInverse_apply

Modification history