KevinQuirin/sheafification — pull request #1 by KevinQuirin (2014-07-01 12:54:41+00:00)
Title: universality of separation, modulo coequalizer and density into cloture ...

...(see LEX)