Theorem smul_floorDiv

Modification history