Theorem StarAlgHom.ext_continuousMap

Modification history