Theorem Int.floor_natCast_add

Modification history