HomeIsabelle/Phabricator
Diffusion afp-devel d119f1e8ad9a

restructure proof
d119f1e8ad9a
Actions

Description

restructure proof

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPd217041e01ee: tuned proofs
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd119f1e8ad9a: restructure proof.May 4 2021, 12:16 PM

Changes (1)

PathSize
thys/
Perron_Frobenius/

rAFPd119f1e8ad9a

View Options

thys/Perron_Frobenius/Spectral_Radius_Largest_Jordan_Block.thy

Loading...