equal
deleted
inserted
replaced
4 |
4 |
5 Monotonicity of an operator (meta-function) with respect to arbitrary |
5 Monotonicity of an operator (meta-function) with respect to arbitrary |
6 set relations. |
6 set relations. |
7 *) |
7 *) |
8 |
8 |
9 header{*Monotonicity of an Operator WRT a Relation*} |
9 section{*Monotonicity of an Operator WRT a Relation*} |
10 |
10 |
11 theory Monotonicity imports GenPrefix MultisetSum |
11 theory Monotonicity imports GenPrefix MultisetSum |
12 begin |
12 begin |
13 |
13 |
14 definition |
14 definition |