Theorem Nat.abs_sub_floor_le

Modification history