Theorem AlgHom.toContinuousLinearMap_norm

Modification history