The Group Properties Wiki (pre-alpha)

TIP: Read more about how the definition in Groupprops is structured

ABOUT US: Read our purpose statement and learn what makes us special

ALSO CHECK OUT: Diffgeom: The Differential Geometry Wiki

From Groupprops

This is a category (or supercategory) listing a broad class of facts/results/theorems

This is a property-theoretic category

This is a supercategory. The subcategories of this are categories listing property implications over specific context spaces.