Theorem Nat.count_one

Modification history