Theorem le_smul_ceilDiv

Modification history