Theorem Int.ceil_eq_on_Ioc'

Modification history