Theorem StarAlgebra.elemental.starAlgHomClass_ext

Modification history