Remarks

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: |