Theorem smul_ceilDiv

Modification history