used long version of definition to avoid conflict when introducing HOL.monotone_on
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP29c7b0c57365: merge from afp-2021-1 (metadata consolidation)
- Branches
- Unknown
- Tags
used long version of definition to avoid conflict when introducing HOL. Tags None Subscribers None
Description
Details
|