mockingbirdnest/Principia — pull request #21 by eggrobin (2014-05-04 15:53:46+00:00)
Title: Identifier consistency

Consistency with identifiers in Grassman.hpp