arguments: f:ringelem >> int
If f is a unit, place 1 on the stack, else place a 0.
Go to main index.
Go to concepts index.