Theorem Int.ne_of_natAbs_ne_natAbs_of_nonneg

Modification history