Diffusion Isabelle b867eb037e7f

added lemma asymp_on_multpHO
b867eb037e7f
Actions

Tags

None

Subscribers

None

Description

added lemma asymp_on_multpHO

Details

Provenance

Authored on

Parents

rISABELLE3e5f6e31c4fd: added lemmas multpHO_iff_set_mset_lessHO_set_mset and…

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEb867eb037e7f: added lemma asymp_on_multpHO.May 8 2023, 11:27 AM

Changes (2)

Path

Size

src/

HOL/

Library/

Multiset_Order.thy

rISABELLEb867eb037e7f

NEWS

Loading...

src/HOL/Library/Multiset_Order.thy

Loading...