Theorem Representation.asAlgebraHom_of

Modification history