This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Counting the elements of the fiber of a map

module univalent-combinatorics.counting-fibers-of-maps where