Theorem gc_floorDiv_mul

Modification history