ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2766 on D468: Bijective map
Canonical empty map is bijection