simhu/cubic — pull request #2 by marcbezem (2014-06-08 12:35:46+00:00)
Title: polynomial rings as cubical set

New subsection: polynomial rings as cubical set