Theorem smul_floorDiv_le

Modification history