François Bruhat

 Ancestors

1. Nicolas Bourbaki
2. Large-scale mathematical formalization projects
3. Mathematical logic
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot