Theorem Int.fract_mul_natCast

Modification history