Def WeakDual.CharacterSpace.toNonUnitalAlgHom

Modification history