Diffusion Isabelle c03a148110cc

HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset
c03a148110cc
Actions

Tags

None

Subscribers

None

Description

HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset

Details

Provenance

Authored on

Parents

rISABELLE6ba08ec184a1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEc03a148110cc: HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset.Jan 5 2021, 3:35 AM

Changes (2)

Path

Size

src/

HOL/

Library/

rISABELLEc03a148110cc

NEWS

Loading...

src/HOL/Library/Multiset.thy

Loading...