Diffusion Isabelle 5656ec95493c

generalised pigeonhole principle in HOL-Library.FuncSet
5656ec95493c
Actions

Tags

None

Subscribers

None

Description

generalised pigeonhole principle in HOL-Library.FuncSet

Details

Provenance

Authored on

Parents

rISABELLEdca11678c495: new constant power_int in HOL

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLE5656ec95493c: generalised pigeonhole principle in HOL-Library.FuncSet.May 13 2020, 1:00 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE5656ec95493c

src/HOL/Library/FuncSet.thy

Loading...