Module division_ring

Module division_ring 

Source

Traitsยง

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