HomeIsabelle/Phabricator

added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to…

Description

added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset

Details

Provenance
desharnaAuthored on
Parents
rISABELLEc256bba593f3: redefined less_multiset to be based on multp
Branches
Unknown
Tags
Unknown