Theorem Int.fract_int_nat

Modification history