Theorem BialgHom.map_smul_of_tower

Modification history