Category:Property implications

From Groupprops
Revision as of 22:39, 7 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.