Theorem gc_mul_ceilDiv

Modification history