changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEa789c5732f7a: merged
- Branches
- Unknown
- Tags
changed argument order of mono_on and strict_mono_on to uniformize with… Tags None Subscribers None |