Theorem AffineSubspace.vsub_right_mem_direction_iff_mem
Modification history
2025-03-03 00:15
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
chore: split long file Mathlib.LinearAlgebra.AffineSpace.AffineSubspace (#22384)
Modified AffineSubspace.vsub_right_mem_direction_iff_memView on Github →