P
Initializing...
Every Steiner triple system on $7$ points is the Fano plane · Prove2Me