Diffusion Isabelle c48fe2be847f

added lifting_forget as suggested by Peter Lammich
c48fe2be847f
Actions

Tags

None

Subscribers

None

Description

added lifting_forget as suggested by Peter Lammich

Details

Provenance

Authored on

Parents

rISABELLE0b5efc6de385: merged

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEc48fe2be847f: added lifting_forget as suggested by Peter Lammich.Dec 20 2022, 6:20 PM

Changes (2)

Path

Size

src/

HOL/

Computational_Algebra/

Factorial_Ring.thy

Library/

rISABELLEc48fe2be847f

src/HOL/Computational_Algebra/Factorial_Ring.thy

Loading...

src/HOL/Library/Multiset.thy

Loading...