Diffusion afp-devel cae2c55e7bbb

simplified proof some more
cae2c55e7bbb
Actions

Tags

None

Subscribers

None

Description

simplified proof some more

Details

Provenance

Authored on

Parents

rAFP1d3873e125b1: simplified proof

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPcae2c55e7bbb: simplified proof some more.Jan 6 2022, 11:46 AM

Changes (1)

Path

Size

thys/

Saturation_Framework_Extensions/

Standard_Redundancy_Criterion.thy

rAFPcae2c55e7bbb

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...