SpectralThm
Ongoing project to formalise The Spectral Theorem in Lean prover
1-4 of 4 versions of SpectralThm
Sort by
Date
e7859aav4.22.0-rc344a851dv4.22.0-rc3v4.22.0-rc3dafca28v4.18.0-rc1v4.18.0-rc1429dd64v4.17.0-rc1v4.17.0-rc1