Category:Statements of left-right equivalence

From Groupprops
Jump to: navigation, search

This category lists statements of the form: if anything of the left type exists, and anything of the right type exists, then they are equal. In particular:

  • If two different things of the left type exist, there cannot exist anything of the right type.
  • If one thing of the left type exists, then there can be at most one thing of the right type, and that must be the same as this.

Pages in category "Statements of left-right equivalence"

The following 3 pages are in this category, out of 3 total. The count includes redirect pages that have been included in the category. Redirect pages are shown in italics.