Theorem Nat.floor_eq_on_Ico

Modification history