Theorem Int.ceil_neg

Modification history