Open
QED
Docs
Leaderboard
Sign in
Back to problems
Invariant Subspace Problem
Does every bounded operator on a separable Hilbert space have a non-trivial invariant subspace?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute