Commit 2022-08-08 21:44 fb478f66
View on Github →chore(data/sign): simplify definition of multiplication (#15920)
Removing cases from the match results in better definitional equalities, and is also shorter.
This also eliminates the separate mul definition for consistency with how the has_neg instance has the definition inlined.