Theorem Rat.divInt_nonneg

Modification history