Theorem Int.fract_intCast_add

Modification history