Theorem AlgEquiv.to_algHom_toLinearMap

Modification history