Probability-preserving bijection (source code)

= Probability-preserving bijection

A probability-preserving bijection pairs outcomes of two events without changing their masses, proving the events have equal probability.