Theorem gc_floorDiv_smul

Modification history