Diffusion afp-devel 7281051707f6

lemma diffusion
7281051707f6
Actions

Tags

None

Subscribers

None

Description

lemma diffusion

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPa41a4c9f031d: more connections between mset _ = mset _ and permutations

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP7281051707f6: lemma diffusion.Feb 28 2021, 9:13 PM

Changes (2)

Path

Size

thys/

Perron_Frobenius/

HMA_Connect.thy

Smith_Normal_Form/

Mod_Type_Connect.thy

rAFP7281051707f6

thys/Perron_Frobenius/HMA_Connect.thy

Loading...

thys/Smith_Normal_Form/Mod_Type_Connect.thy

Loading...