`OAI/Analysis/Pureness/`

3478 declarations, 0 contain sorry, 0 declared as axioms; 581 files

Folders

Comparison/ 48 files, 346 declarations
Completion/ 37 files, 268 declarations
Cuntz/ 38 files, 253 declarations
Divisibility/ 35 files, 122 declarations
GroupAlgebra/ 42 files, 294 declarations
Operators/ 51 files, 250 declarations
Projections/ 37 files, 128 declarations
Quasitrace/ 83 files, 505 declarations
Stabilization/ 55 files, 473 declarations
States/ 68 files, 411 declarations
Tensor/ 72 files, 355 declarations
Traces/ 13 files, 69 declarations

Files

AlmostDivisibility.lean 1 declarations
Main.lean 3 declarations