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 |