OAI/Probability/RadialTransition/ClusterConvolution.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RadialTransition.antidiagonal_map line 12
2. lemma OAI.RadialTransition.powerset_val_map line 20
3. lemma OAI.RadialTransition.configurationMultiset_val line 24
4. lemma OAI.RadialTransition.configurationMultiset_subtype line 30
5. def OAI.RadialTransition.clusterConvolution line 40
6. lemma OAI.RadialTransition.clusterConvolution_add_ge line 43
7. lemma OAI.RadialTransition.clusterConvolution_configuration line 48