Theorem Behrend.ceil_lt_mul

Modification history