OAI/Analysis/Commutator/FiniteStrongTest.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Kadison.FiniteStrongTest.evaluation line 20
2. def OAI.Kadison.FiniteStrongTest.testMap line 30
3. lemma OAI.Kadison.FiniteStrongTest.testMap_apply line 34
4. lemma OAI.Kadison.FiniteStrongTest.strong_null_of_dense_tests line 37
5. theorem OAI.Kadison.FiniteStrongTest.exists_test line 68