Theorem NonarchAddGroupNorm.apply_one

Modification history