OAI/Probability/RadialTransition/ConvolutionFock.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.RadialTransition.particleBase_convolutionline 15
OAI/Probability/RadialTransition/ConvolutionFock.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.RadialTransition.particleBase_convolution line 15