arguments: a:ringelem b:ringelem >> ringelem
Find a/b in the ring of a, b, if division is defined over this ring.
Go to main index.
Go to concepts index.