Theorem Int.fract_add_natCast

Modification history