Theorem ProbabilityTheory.Kernel.swapRight_zero

Modification history