Theorem Nat.count_injective

Modification history