Theorem Representation.asAlgebraHom_single

Modification history