Diffusion Isabelle f552cf789a8d

Missing theorem restored
f552cf789a8d
Actions

Tags

None

Subscribers

None

Description

Missing theorem restored

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE293caf3dbecd: Tidying up BNF

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEf552cf789a8d: Missing theorem restored.Jan 14 2023, 10:42 PM

Changes (1)

Path

Size

src/

HOL/

BNF_Cardinal_Arithmetic.thy

rISABELLEf552cf789a8d

src/HOL/BNF_Cardinal_Arithmetic.thy

Loading...