Theorem Nat.ceilDiv_eq_add_pred_div

Modification history