Summary
- Deleted problematic code equation in Codegenerator_Test
- Merge
- New theory for Homeomorphisms
- Merge
- renamings and new material
- new theorem
- deleted stray thm command
- deleted needless comment
- Resolved cyclic dependency of theories
- Merged
- Added set permutations/random permutations