Theorem Nat.pos_of_floor_pos

Modification history