Theorem Int.floor_add_natCast

Modification history