Theorem Nat.preimage_ceil_of_ne_zero

Modification history