Diffusion Isabelle 58aed6f71f90

A nice cardinality lemma
58aed6f71f90
Actions

Tags

None

Subscribers

None

Description

A nice cardinality lemma

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE0c8d6bec6491: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE58aed6f71f90: A nice cardinality lemma.May 3 2021, 10:49 PM

Changes (1)

Path

Size

src/

HOL/

rISABELLE58aed6f71f90

src/HOL/Finite_Set.thy

Loading...