Theorem ceilDiv_le_iff_le_smul

Modification history