View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info

---

quantity
Constraint Denominator_exists

General Info
Name	Denominator_exists
Expression	inv: denominator <> Void
Base Classes	Class