- D1896: Upper enclosure
- D5673: Zero definite complex matrix
- D2749: Tree graph
- D5867: Right-invertible complex matrix
- R4801: Probability mass function for cogeometric random basic natural number
- R756: Abelian group iff centre is whole group
- R4732:
- D2751: Hyperdigraph
- R246: Cauchy sequence is bounded
- R4107: Determinant of real diagonal matrix with constant diagonal