Function un_algebra::quasigroup::quasigroup::right_rcancellation

pub fn right_rcancellation<T: Quasigroup>(x: &T, y: &T) -> bool

The right axiom of right-cancellation.