Equations
- One or more equations did not get rendered due to their size.
Instances For
Environment extensions for monotonicity lemmas
Finds tagged monotonicity theorems of the form monotone (fun x => e)
.
Environment extensions for monotonicity lemmas
Finds tagged monotonicity theorems of the form monotone (fun x => e)
.