Theorem le_floorDiv_iff_mul_le

Modification history