Theorem Int.fract_natCast_add

Modification history