mathlib3

2688d42b - feat(archive/100-theorems-list): friendship theorem (nr 83) (#3970)

feat(archive/100-theorems-list): friendship theorem (nr 83) (#3970) defines friendship graphs proves the friendship theorem (freek #83) Co-authored-by: Aaron Anderson <awainverse@gmail.com>