began properties of cardinal addition viz cardinal numbers and proved that the finite cardinals are a subset of the cardinals
began properties of cardinal addition viz cardinal numbers and proved that the finite cardinals are a subset of the cardinals

sctfn/metamath-nf