product type

the result of multiplying types in type theory

카테고리: