NthPortal/mathlib — pull request #1 by nefarious411 (2014-07-09 15:05:48+00:00)
Title: Project fixes

Miscellaneous fixes.