mathlib3

6ed17fc7 - refactor(combinatorics/configuration): Generalize results (#11065)

refactor(combinatorics/configuration): Generalize results (#11065) This PR slightly generalizes the results in `configuration.lean` by weakening the definitions of `has_points` and `has_lines`. The new definitions are also more natural, in my opinion.