# nLab type of h-sets

$\vdash \sum_{X : Type} isHSet(X) : Type$
Created on September 11, 2012 23:28:25 by Urs Schreiber (131.174.190.72)