Theorem ContinuousAlgHom.snd_comp_prod

Modification history