Counting the elements of the fiber of a map
Content created by Fredrik Bakke, Egbert Rijke and Jonathan Prieto-Cubides.
Created on 2022-02-10.
Last modified on 2023-03-21.
module univalent-combinatorics.counting-fibers-of-maps where
Imports
Recent changes
- 2023-03-21. Fredrik Bakke. Formatting fixes (#530).
- 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
- 2023-02-13. Jonathan Prieto-Cubides. Nueva era (#445).
- 2023-02-05. Fredrik Bakke. remove redundant pragmas.
- 2023-02-01. Fredrik Bakke. remove
usings inunivalent-combinatorics.