Theorem Homogenization.map_id

Modification history

2026-08-31 10:08

Mathlib/LinearAlgebra/AffineSpace/Homogenization.lean

feat: homogenization of an affine space (#39368)

Added Homogenization.map_id View on Github →