Theorem floorDiv_le_ceilDiv

Modification history