Definition

Links to this page:

  1. Cardinality
  2. Σ-types (Dependent pair types)
Built with LogoFlowershow