Invariants

The invariants view displays all the invariants of the current class.
It is available through the Class tab of the context tool.