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.





leanprover-community/mathlib,leanprover-community/mathlib