Commit 2026-10-17 11:31 11b52006
View on Github →chore(LinearAlgebra/AffineSpace/Homogenization): use inferInstanceAs (#44947)
This PR redefines the instances of Homogenization using inferInstanceAs, which now handles non-exposed definitions correctly. This avoids leaking the implementation (which uses choice), and also fixes diamonds involving NSMul and ZSMul.