fact: Definition word_change_sign_ww (x y : Words) : word_change_sign (x @ y) = word_change_sign y @ word_change_sign x.
imports: Basics Types Group Subgroup WildCat.Core Colimits.Coeq Truncations.Core Truncations.SeparatedTrunc Classes.implementations.list