Keyword: convolution

Theorem Algebra Homomorphisms Form a Group Under Convolution admitted

Theorem Convolution Is Pointwise Multiplication admitted

Definition Convolution of Algebra Homomorphisms admitted

Theorem Convolution of Algebra Homomorphisms Is an Algebra Homomorphism admitted