Diffusion Isabelle 3e55e47a37e7

added lemma wfP_multp
3e55e47a37e7
Actions

Tags

None

Subscribers

None

Description

added lemma wfP_multp

Details

Provenance

Authored on

Parents

rISABELLE250ab1334309: added lemma mono_multp

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE3e55e47a37e7: added lemma wfP_multp.Nov 27 2021, 10:05 AM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE3e55e47a37e7

src/HOL/Library/Multiset.thy

Loading...