J
avier
D
íaz
This is an unofficial reimagining of the
Archive of Formal Proofs
2020
Finite Map Extras
by
Javier Díaz
12 Oct