Checks if two elements are inverses of each other in an algebraic structure.
The algebraic structure
The first element
The second element
Optional
The type of inverse to check ("add" for additive inverse, "mul" for multiplicative inverse, defaults to "add")
Checks if two elements are inverses of each other in an algebraic structure.