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

---

quantity
Constraint Numerator_exists

General Info
Name	Numerator_exists
Expression	inv: numerator <> Void
Base Classes	Class