Diffusion Isabelle ec4b514bcfad

added lemma image_mset_filter_mset_swap
ec4b514bcfad
Actions

Tags

None

Subscribers

None

Description

added lemma image_mset_filter_mset_swap

Details

Provenance

Authored on

Parents

rISABELLE4117491aa7fe: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEec4b514bcfad: added lemma image_mset_filter_mset_swap.May 23 2022, 10:13 AM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLEec4b514bcfad

src/HOL/Library/Multiset.thy

Loading...