Assertion: unique real number | /r/HasProperty | such that a ⋅ = 1
Facets:
Source sentences:
text: If a is any nonzero real number, then there is a unique real number such that a ⋅ = 1 and ⋅ a = 1