HomeIsabelle/Phabricator
Diffusion afp-devel d217041e01ee

tuned proofs
d217041e01ee
Actions

Description

tuned proofs

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP9ff0da80391b: renamings
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd217041e01ee: tuned proofs.May 4 2021, 10:27 AM

Changes (1)

PathSize
thys/
Perron_Frobenius/

rAFPd217041e01ee

View Options

thys/Perron_Frobenius/Spectral_Radius_Largest_Jordan_Block.thy

Loading...