HomeIsabelle/Phabricator

redefined mono_on and strict_mono_on as an abbreviation of monotone_on