Module division_ring

Source

Traitsยง

DivisionRing
Algebraic division ring defining two binary operations and the inverse of an element