Theorem AlgEquiv.toLinearMap_injective

Modification history