Commit 2025-08-21 10:55 2b074c2a

View on Github →

chore(LinearAlgebra/AffineSpace): deprecate coe_injective (duplicate) (#28457)

Estimated changes