Theorem Int.floor_div_cast_of_nonneg

Modification history