Theorem Nat.surjective_count_of_infinite_setOf

Modification history