Diffusion afp-devel 05fc02919a74

new entry: Commuting_Hermitian
05fc02919a74
Actions

Tags

None

Subscribers

None

Description

new entry: Commuting_Hermitian

Details

Provenance

Authored on

Parents

rAFP0976bbb64203: Sitegen for Involutions2Squares (WITH WRONG EMAIL ADDRESS)

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP05fc02919a74: new entry: Commuting_Hermitian.Aug 16 2022, 4:34 PM

Changes (12)

Path

Size

Commuting_Hermitian.toml

Commuting_Hermitian

Commuting_Hermitian.thy

Commuting_Hermitian_Misc.thy

Spectral_Theory_Complements.thy

rAFP05fc02919a74

metadata/entries/Commuting_Hermitian.toml

Loading...

thys/Commuting_Hermitian/Commuting_Hermitian.thy

Loading...

thys/Commuting_Hermitian/Commuting_Hermitian_Misc.thy

Loading...

thys/Commuting_Hermitian/ROOT

Loading...

thys/Commuting_Hermitian/Spectral_Theory_Complements.thy

Loading...

thys/Commuting_Hermitian/document/root.tex

Loading...

thys/ROOTS

Loading...