OAI/Analysis/Kaplansky/StableFiniteness/
51 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Definitions.lean 26 declarations
- FaithfulRepresentation.lean 6 declarations
- QuasitraceLoss.lean 2 declarations
- ScalarTower.lean 1 declarations
- SimpleAmbient.lean 2 declarations
- SimpleReduction.lean 2 declarations
- SimpleRepresentation.lean 4 declarations
- SimpleTensor.lean 1 declarations
- StateExists.lean 3 declarations
- TraceFree.lean 3 declarations
- TracialStable.lean 1 declarations