Theorem zero_floorDiv

Modification history