Diffusion Isabelle ec4c38e156c7

Fixed a broken proof
ec4c38e156c7
Actions

Tags

None

Subscribers

None

Description

Fixed a broken proof

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEf33df7529fed: Substantial simplification of HOL-Cardinals

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEec4c38e156c7: Fixed a broken proof.Jan 13 2023, 5:44 PM

Changes (1)

Path

Size

src/

HOL/

Cardinals/

Wellorder_Constructions.thy

rISABELLEec4c38e156c7

src/HOL/Cardinals/Wellorder_Constructions.thy

Loading...