affine_equiv): affine homotheties as equivalences (#8983)

Commit

4 years ago

feat(linear_algebra/affine_space/affine_equiv): affine homotheties as equivalences (#8983)

Author

ocfnash

Parents