`OAI/Analysis/Hyperinvariant/`

22 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

CommutantTopology.lean 5 declarations
HilbertClassification.lean 3 declarations
Main.lean 1 declarations
ProjectionBridge.lean 1 declarations
Specification.lean 5 declarations
Transport.lean 4 declarations
Witness.lean 3 declarations