ctaipycmaci

valsi

ctaipycmaci

type

lujvo

creator

varikvalefor

time entered

Sun Feb 19 04:01:05 2023  

English

Definition #73147 - Preferred

 

definition

x₁ is a type theory.

jargon type

mathematics

gloss words

• type theory

place keywords

1.

         type theory

created by

varikvalefor

vote information

2

time

Sun Feb 19 04:01:05 2023

Examples

---