Theorem Nat.count_add

Modification history