Theorem Int.ceil_eq_floor_add_one_iff_not_mem

Modification history