mathlib3
12b6b993 - refactor(linear_algebra/affine_space): move def of `slope` to a new file (#11361)

Commit

4 years ago

refactor(linear_algebra/affine_space): move def of `slope` to a new file (#11361) Also add a few trivial lemmas.

Author

urkud

Parents