redefined mono_on and strict_mono_on as an abbreviation of monotone_on
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE3c544d64c218: changed argument order of mono_on and strict_mono_on to uniformize with…
- Branches
- Unknown
- Tags