return to top
source
Note that smul_inv' refers to the group case, and smul_inv has an additional inverse on x.
smul_inv'
smul_inv
x