Expand description

This module defines finite rings.

Traits

Types that implement this trait are finite rings.
Indicates that Self is a sub ring of R.