pub trait EuclideanRingOperationFrom: RingOperationFrom + for<'x> From<<&'x Self as Div>::Output> + for<'x> From<<&'x Self as Rem>::Output> where
    for<'x> &'x Self: EuclideanRingOperation
{ }

Implementors