Commit 2025-11-15 01:45 06696805
View on Github →chore(LinearAlgebra/AffineSpace): golf entire attach_affineCombination_of_injective using simp (#31363)
chore(LinearAlgebra/AffineSpace): golf entire attach_affineCombination_of_injective using simp (#31363)