Equality of Cardinal Numbers is Reflexive - kipawaa/Proof-Tree GitHub Wiki

Statement

If $\lvert X \rvert$ is a Cardinal Number then $\lvert X \rvert = \lvert X \rvert$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

Sources