- D529: Map inverse image
- R3404: Bayes' theorem in the case of two events
- R2970: The four classes of real intervals are each closed under translation
- D5071: Algebraic subset structure
- R1856: Cardinality of the set of maps between finite sets
- D37: Orthogonal vector pair
- R1370: Multilinear map is zero if any argument is zero
- R797: Principle of weak mathematical induction on the natural numbers
- D4001: Geometric random positive integer
- R4340: Bayes' theorem in the case of event and complement