noZeroDivisorsΒΆ
attribs.spad line 22 [edit on github]
The class of all semirings such that x * y = 0 implies either x or y is zero.
attribs.spad line 22 [edit on github]
The class of all semirings such that x * y = 0 implies either x or y is zero.