OAI/Probability/BinarySweep/FiniteLaws/PiCentrality.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryCoordinateSweeps.Density.piTensorMatrices_split line 16
2. def OAI.BinaryCoordinateSweeps.Density.siteMatrix line 25
3. lemma OAI.BinaryCoordinateSweeps.Density.siteMatrix_eq_mask line 30
4. lemma OAI.BinaryCoordinateSweeps.Density.siteMatrix_centrality line 43
5. theorem OAI.BinaryCoordinateSweeps.Density.piTensor_centrality line 61