pub trait IsSubRingOf<R: FiniteRing>: FiniteRing + Mul<R, Output = R> + Into<R> { }
Expand description

Indicates that Self is a sub ring of R.

Implementors