Metamath Proof Explorer

Table of Contents - 16.5.2. The friendship theorem for small graphs

1. frgr1v
2. nfrgr2v
3. frgr3vlem1
4. frgr3vlem2
5. frgr3v
6. 1vwmgr
7. 3vfriswmgrlem
8. 3vfriswmgr
9. 1to2vfriswmgr
10. 1to3vfriswmgr
11. 1to3vfriendship