$p(0) = \# \left\{\left[\right]\right\} = 1$

TeX:

p(0) = \# \left\{\left[\right]\right\} = 1

Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

PartitionsP | $p(n)$ | Integer partition function |

Cardinality | $\# S$ | Set cardinality |

Source code for this entry:

Entry(ID("cebe1b"), Formula(Equal(PartitionsP(0), Cardinality(Set(List())), 1)))