OAI/Probability/SignedSweeps/TensorSupport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.root_inverse_root line 16
2. lemma OAI.SignedSweeps.inverse_root_inverse line 21
3. lemma OAI.SignedSweeps.supportInverseRoot_unique line 29
4. lemma OAI.SignedSweeps.tensorOperator_supportInverseRoot line 72
5. lemma OAI.SignedSweeps.tensorOperator_spectralSupport line 87
6. lemma OAI.SignedSweeps.tensor_density_right_support line 95
7. lemma OAI.SignedSweeps.tensor_density_cell_bound line 105