Theorem exists_eq_smul_of_parallel

Modification history

2025-11-20 14:55
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
feat(LinearAlgebra/AffineSpace/AffineSubspace/Basic): parallel lines in triples of points (#31712) …
Added exists_eq_smul_of_parallelView on Github →