added lemmas monotone_on_empty[simp] and monotone_on_subset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE6fb4a0829cc4: added predicate monotone_on and redefined monotone to be an abbreviation.
- Branches
- Unknown
- Tags