count the numer of partial function between two sets with bijection
70327
the numer of partial function between two sets in combinatoric way
144821
Number of ordered pairs of subsets
151766
Inverse of numpy's bincount function
146055
Proving a set of functions is uncountable
11849
Size of a union of two sets
106397
Counting ways to partition a set into fixed number of subsets
47027
Function that counts the number of arguments of other functions
147941
comparing sup and inf of two sets
86263
How do we show there are the same number of elements in each of the sets?
62180
Best way to find the intersection of multiple sets?
109710
Bijection between $\mathbb N \times \mathbb N$ and $\mathbb N$
150210
Finding total number of multi-sets
33014
Bijection between an open and a closed interval
72591
Find a bijection to prove a fact about integer partitions
64583
Number of surjective functions from A to B
96202
Prove composition of bijections is bijection
32340
Continuous bijections and their inverses