mathlib

1068fdd9 - feat(geometry/euclidean/basic): `cospherical.affine_independent` variants (#17645)

feat(geometry/euclidean/basic): `cospherical.affine_independent` variants (#17645) Add some variants of `cospherical.affine_independent` that are more convenient in some cases than the version with an `injective` hypothesis.