| K658: Proof technique: establishing a basic real equality by applying antisymmetry to basic real inequalities |
| K694: Worded definition of an algebraic complex number |
| K701: Zorn's lemma in words |
| K710: |
| K708: Almost sure equality only makes sense for random variables on the same probability space |
| K657: Proof technique: establishing an equality by applying antisymmetry |
| K682: |
| K629: Distribution of an indicator random number |
| K750: |
| K749: |
| K788: Gamma random positive real number as a generalization of an Erlang random positive real number |
