Theorem Int.floor_eq_self_iff_mem

Modification history