non/spire — pull request #242 by tixxit (2014-03-25 18:16:14+00:00)
Title: GroupAction abstraction for Torsor

This adds GroupAction, ops for group action, and ops for Torsors.