OAI/Probability/StrongRayleigh/PathSamplerTransfer.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336AdditiveD139.PathSamplerTransfer.decoderSlopes line 19
2. lemma OAI.Problem336AdditiveD139.PathSamplerTransfer.measurable_decoderSlopes line 24
3. lemma OAI.Problem336AdditiveD139.PathSamplerTransfer.decoderSlopes_equivariant line 34
4. theorem OAI.Problem336AdditiveD139.PathSamplerTransfer.factor_of_reference_decoder line 42
5. theorem OAI.Problem336AdditiveD139.PathSamplerTransfer.factor_of_brownian_reference_decoder line 83