Théorème de Desargues
Quelques chiffres
Le chapitre 13 consacré au théorème de Desargues est réparti en 6 fichiers.
| fichier | lignes | lemmes | définitions |
|---|---|---|---|
| L13_1 | 1659 | 25 | 1 |
| l13_2_length | 483 | 26 | 5 |
| l13_3_angles | 1058 | 57 | 19 |
| l13_4_lcos | 2104 | 49 | 1 |
| l13_5_Pappus_Pascal | 2049 | 50 | 5 |
| l13_6_Desargues_Hessenberg | 2012 | 16 | 0 |
| total | 9365 | 223 | 26 |