Theorem Int.fract_sub_natCast

Modification history