Cubical set (source code)

= Cubical set
{wiki=Cubical_set}