Theorem Int.ceil_sub_self_eq

Modification history