Expired
Milestone
expired on Jul 31, 2014
completeness
Milestone ID: 10
All modules have reached the status "complete", see section 6.1 in http://gl.mathhub.info/smglom/smglom-doc/raw/master/source/blue/contmgt/note.pdf Furthermore, we have a complete set of very basic concepts and notions from naive set theory