independent): add `exists_affine_independent` (#9747)

Commit

4 years ago

feat(linear_algebra/affine_space/independent): add `exists_affine_independent` (#9747) Formalized as part of the Sphere Eversion project.

Author

ocfnash

Parents