Function prop::nat::lt_neq

source · [−]
pub fn lt_neq<T: Lt<U>, U>() -> Not<Eq<T, U>>
Expand description

Provides a proof that the numbers are inequal.