affine_map): add missing simp lemma `affine_map.homothety_apply_same` (#9360)

Commit

4 years ago

feat(linear_algebra/affine_space/affine_map): add missing simp lemma `affine_map.homothety_apply_same` (#9360)

Author

ocfnash

Parents