mathlib

87fa060c - feat(combinatorics/configuration): Define `line_count` and `point_count` (#10884)

feat(combinatorics/configuration): Define `line_count` and `point_count` (#10884) Adds definitions for the number of lines through a given point and the number of points through a given line. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>