HomeIsabelle/Phabricator
Diffusion afp-devel b7825a51517a

moved theorems into Matrix.thy
b7825a51517a
Actions

Description

moved theorems into Matrix.thy

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP1b6cf3461109: merge of AFP 2021-1
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb7825a51517a: moved theorems into Matrix.thy.Feb 7 2022, 12:52 PM

Changes (5)

PathSize
Jordan_Normal_Form/

rAFPb7825a51517a

View Options

thys/Jordan_Normal_Form/Matrix.thy

Loading...
View Options

thys/LP_Duality/LP_Duality.thy

Loading...
View Options

thys/LP_Duality/Move_To_Matrix.thy

Loading...