Theorem le_floorDiv_iff_smul_le

Modification history