Open main menu

Groupprops β

Template:Property implication

This category lists important implications between properties over the context space: [[{{{1}}}]]. That is, it says that every {{{1}}} satisfying the first [[{{{1}}} property]] also satisfies the second
View other property implication categories