Theorem Int.mul_lt_floor

Modification history