1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Commit Graph

3 Commits

Author SHA1 Message Date
78490e6ca8 visual changes to central projection 2017-07-09 14:55:19 +02:00
3c0ecd2e73 DirectProducts and WreathProducts are in Groups now 2017-06-22 15:14:15 +02:00
77121c32eb add orbit-related code 2017-06-22 14:12:35 +02:00