Diffusion afp-devel caec48737972

some extensions to Cotangent_PFD_Formula
caec48737972
Actions

Tags

None

Subscribers

None

Description

some extensions to Cotangent_PFD_Formula

Details

Provenance

Authored on

Parents

rAFP7cc49d3407b3: slightly less technical formulation of very specific type class

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPcaec48737972: some extensions to Cotangent_PFD_Formula.Nov 16 2023, 11:14 AM

Changes (1)

Path

Size

thys/

Cotangent_PFD_Formula/

Cotangent_PFD_Formula.thy

rAFPcaec48737972

thys/Cotangent_PFD_Formula/Cotangent_PFD_Formula.thy

Loading...