Hi, welcome to the mathematical properties game. This game is inspired by this tumblr post: https://www.tumblr.com/bubbloquacious/779753550217691136/the-topology-game. The list of topological properties comes from the post and the list of group properties is taken from the groupprops wiki. Right now this only has group and topological properties but hopefully I will be able to add more. If you see N(some property) that denotes it's negation. The rules of the game are very simple just roll a property and prove that either. It follows from the previous properties. It contradicts the previous properties. It is independent of the previous properties Then click the corresponding button. Have a good time :) - Mari