independent): homotheties preserve affine independence (#9070)

Commit

4 years ago

feat(linear_algebra/affine_space/independent): homotheties preserve affine independence (#9070)

Author

ocfnash

Parents