Theorem Nat.div_two_lt_floor

Modification history