Theorem Homogenization.coe_liftₗ_symm

Modification history

2026-08-31 10:08
Mathlib/LinearAlgebra/AffineSpace/Homogenization.lean
feat: homogenization of an affine space (#39368)
Added Homogenization.coe_liftₗ_symmView on Github →