Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO
  2. added lemma multpDM_plus_plusI[simp]
  3. added lemmas multpDM_mono_strong and multpHO_mono_strong
Changeset 77355:b23367be6051 by desharna:
added lemmas strict_subset_implies_multpDM and strict_subset_implies_multpHO
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 77354:347d7133c171 by desharna:
added lemma multpDM_plus_plusI[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 77353:42accfbf4d85 by desharna:
added lemmas multpDM_mono_strong and multpHO_mono_strong
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)