return to top
source
Alias of isUnit_iff_eq_one for discoverability.
isUnit_iff_eq_one
Alias of isAddUnit_iff_eq_zero for discoverability.
isAddUnit_iff_eq_zero