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