refactor(geometry/euclidean/basic): rename `cospherical_subset` (#16947)
refactor(geometry/euclidean/basic): rename `cospherical_subset` (#16947)

Rename `cospherical_subset` to `cospherical.subset` to allow use of dot notation.







leanprover-community/mathlib,leanprover-community/mathlib