Theorem Nat.ldiff'_bit

Modification history