Theorem Int.ceil_eq_self_iff_mem

Modification history