SpectralThm
Ongoing project to formalise The Spectral Theorem in Lean prover
of 4 versions of SpectralThm
1-4Sort by
Date
33031d7
v4.22.0-rc31.5 MB44a851d
v4.22.0-rc3v4.22.0-rc3dafca28
v4.18.0-rc1v4.18.0-rc1429dd64
v4.17.0-rc1v4.17.0-rc1