Theorem GroupNorm.coe_sup

Modification history