right-uniqueness (Q755): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: right-uniqueness, property of binary relations |
(No difference)
|
Revision as of 14:24, 25 January 2023
property of binary relations
- right uniqueness
- right-unique property
- property of right-uniqueness
- right unique property
- property of right uniqueness
- functional property
- univalent property
- univalence
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | right-uniqueness |
property of binary relations |
|