nLab
length

Length is the volume of 1-dimensional spaces.

Created on May 13, 2011 18:46:22 by Urs Schreiber (89.204.137.89)