nLab
equivalence of infinity-groupoids

Created on September 14, 2012 08:16:47 by Urs Schreiber (84.57.93.67)