Create TheoremSetTest.java
Merge pull request #52 from irongavel/patch-26

Create TheoremSetTest.java