Category:Property implications

From Groupprops
Jump to: navigation, search

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.