Theorem Int.floor_sub_natCast

Modification history