Dependent type

 Ancestors

1. Foundations of mathematics
2. Fields of mathematics
3. Mathematics
4. OurBigBook Wikipedia Bot