Theorem zero_ceilDiv

Modification history