HomeIsabelle/Phabricator

avoid the surprise that n-m is 0 even if n<m.

Description

avoid the surprise that n-m is 0 even if n<m.

Details

Provenance
nipkowAuthored on
Parents
rAFP3ba39711b355: tuned
Branches
Unknown
Tags
Unknown