| K682: (on R221) |
| K749: (on R800) |
| K750: (on R5104) |
| K710: (on R3954) |
| K708: Almost sure equality only makes sense for random variables on the same probability space (on D2797) |
| K629: Distribution of an indicator random number (on D2796) |
| K788: Gamma random positive real number as a generalization of an Erlang random positive real number (on D3838) |
| K658: Proof technique: establishing a basic real equality by applying antisymmetry to basic real inequalities (on D871) |
| K657: Proof technique: establishing an equality by applying antisymmetry (on D289) |
| K792: The standard algorithm for finding the base-2 integer of an additive inverse (on R5720) |
| K694: Worded definition of an algebraic complex number (on D2134) |
| K701: Zorn's lemma in words (on R447) |
