Revision #3616 → #4152 · back to history
addedProjective space (2-dimensional)661f26e3241e
addedBruck's inequality (case distinction for subplane order)b49c14698343
addedCorrelation squared is a collineation04dfdf82fd0f
addedFano plane has 168 collineations (PΓL(3,2)=PGL(3,2))0d908c361eeb