Theorem Int.fract_sub_nat

Modification history