Theorem Int.floor_div_natCast

Modification history