Assertion: right triangle's side | /r/HasProperty | a ≥ b ≥
Facets:
Source sentences:
text: where the sides are a ≥ b ≥ c {\displaystyle