nLab
natural bijection

Created on September 6, 2012 00:15:40 by Urs Schreiber (82.169.65.155)