Commit 2026-09-07 15:38 d2005a20

View on Github →

feat(LinearAlgebra/AffineSpace/Homogenization): generalize hom_ext to LinearMapClass (#43350)

Estimated changes

modified theorem Homogenization.hom_ext
modified theorem Homogenization.hom_ext_iff