SpectralThm
Ongoing project to formalise The Spectral Theorem in Lean prover
1-7 of 7 versions of SpectralThm
Sort by
Date
cfc9851v4.31.0-rc11.8 MBcf52205v4.31.0-rc1v4.31.0-rc11.7 MBbfd28c5v4.30.0-rc2v4.30.0-rc23139e2cv4.27.0-rc1v4.27.0-rc144a851dv4.22.0-rc3v4.22.0-rc3dafca28v4.18.0-rc1v4.18.0-rc1429dd64v4.17.0-rc1v4.17.0-rc1