Slightly more useful admin user page
Add propery-theorem links on creating a theorem #21