Category:Property implications
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.
Subcategories
This category has the following 5 subcategories, out of 5 total.