a few new lemmas about functions
d73955442df5
Actions

Description

a few new lemmas about functions

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Analysis/

Library/

rISABELLEd73955442df5

src/HOL/Analysis/Abstract_Topology.thy

src/HOL/Analysis/Starlike.thy

src/HOL/BNF_Wellorder_Embedding.thy

src/HOL/Fun.thy

src/HOL/Library/Equipollence.thy

a few new lemmas about functionsd73955442df5Actions

Description

Details

Changes (6)

rISABELLEd73955442df5

src/HOL/Analysis/Abstract_Topology.thy

src/HOL/Analysis/Starlike.thy

src/HOL/BNF_Wellorder_Embedding.thy

src/HOL/Fun.thy

src/HOL/Library/Equipollence.thy

src/HOL/List.thy

a few new lemmas about functions
d73955442df5
Actions