Theorem Nat.gc_count_nth

Modification history