Diffusion Isabelle 175e6d47e3af

tidied a few ugly proofs
175e6d47e3af
Actions

Tags

None

Subscribers

None

Description

tidied a few ugly proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE6308eaaa88f1: clarified release packaging: naproche-20220910 lacks arm64-linux support (and…

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE175e6d47e3af: tidied a few ugly proofs.Sep 11 2022, 2:27 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Complex_Transcendental.thy

Library/

Extended_Nonnegative_Real.thy

rISABELLE175e6d47e3af

src/HOL/Analysis/Complex_Transcendental.thy

Loading...

src/HOL/Library/Extended_Nonnegative_Real.thy

Loading...