Diffusion Isabelle db041670d6bb

added lemmas transp_on_multpHO and transp_multpHO
db041670d6bb
Actions

Tags

None

Subscribers

None

Description

added lemmas transp_on_multpHO and transp_multpHO

Details

Provenance

Authored on

Parents

rISABELLEb0ef3aae2bdb: tuned theory structure

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEdb041670d6bb: added lemmas transp_on_multpHO and transp_multpHO.May 10 2023, 8:59 AM

Changes (2)

Path

Size

src/

HOL/

Library/

Multiset_Order.thy

rISABELLEdb041670d6bb

NEWS

Loading...

src/HOL/Library/Multiset_Order.thy

Loading...