# The @[mono] attribute #

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

A lemma stating the monotonicity of some function, with respect to appropriate relations on its domain and range, and possibly with side conditions.

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

A lemma stating the monotonicity of some function, with respect to appropriate relations on its domain and range, and possibly with side conditions.