Metamath Proof Explorer

Table of Contents - 21.3.12.52. Impossible constructions

1. 2sqr3minply
2. 2sqr3nconstr
3. cos9thpiminplylem1
4. cos9thpiminplylem2
5. cos9thpiminplylem3
6. cos9thpiminplylem4
7. cos9thpiminplylem5
8. cos9thpiminplylem6
9. cos9thpiminply
10. cos9thpinconstrlem1
11. cos9thpinconstrlem2
12. cos9thpinconstr
13. trisecnconstr