Theorem AlgEquiv.ofInjective_apply

Modification history