attribs.spad line 75 [edit on github]
The class of all magmas where leftRecip and rightRecip are the same as recip.
leftRecip
rightRecip
recip