HomeIsabelle/Phabricator

added predicate monotone_on and redefined monotone to be an abbreviation.

Description

added predicate monotone_on and redefined monotone to be an abbreviation.

Details

Provenance
desharnaAuthored on
Parents
rISABELLEd32201f08e98: added lemma map_mono_strict_suffix
Branches
Unknown
Tags
Unknown