Category:Statements of left-right equivalence

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.