Def normGroupSeminorm

Modification history