ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R1478 on
D468: Bijective map
Equivalent characterisations of bijectivity
