Theorem AlgEquiv.toLinearEquiv_apply

Modification history