Open main menu

Groupprops β

Category:Property implications

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.