OAI/Probability/BinarySweep/TensorBounds/SignedTypeCentrality.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryCoordinateSweeps.Signed.actionMatrix_linear line 18
2. lemma OAI.BinaryCoordinateSweeps.Signed.invariant_matrix_commutes line 25
3. lemma OAI.BinaryCoordinateSweeps.Signed.typeProjection_commutes_action line 36
4. lemma OAI.BinaryCoordinateSweeps.Signed.typeProjection_central line 42