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, { }
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, { }