Diffusion Isabelle 2e8f861d21d4

redunant simp rule
2e8f861d21d4
Actions

Tags

None

Subscribers

None

Description

redunant simp rule

Details

Provenance

Authored on

Parents

rISABELLE1f957615cae6: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE2e8f861d21d4: redunant simp rule.Mar 30 2020, 10:35 AM

Changes (1)

Path

Size

src/

HOL/

Analysis/

Bounded_Linear_Function.thy

rISABELLE2e8f861d21d4

src/HOL/Analysis/Bounded_Linear_Function.thy

Loading...