Fixed_point

Open interactive Fixed_point diagram

Formalization for Fixed_point

Property	Constraint
definition	all Fixed_point or Measure or Quantity
subClassOf	Point