I was reading about the Fano plane, the smallest possible projective plane. After playing around with it, it seems that any projective plane of 7 points will be isomorphic to the Fano plane.
However, I've always been troubled with showing isomorphisms between sets of points and lines, because it seems like any function between two sets is really just an assignment of points to other points that preserves lines, but there is no nice fixed function that maps elements to others based on some hard and fast rule, like say $x\mapsto x^2$ or $(x,y)\mapsto x-y$, etc.
Is there an elegant way to show that any projective plane of 7 points is necessarily isomorphic to the Fano plane? I could only think of exhausting all permutations of points and lines and saying "Look, if these points $A$, $B$, $C$ are on a line $l$ here, then $f(A), f(B), f(C)$ are on a line $f(l)$ here." But this seems like it's brute forcing the matter, and not very efficient at all, considering that there are many ways to connect the points. What is the best way to go about something like this? Thanks.