Commit 2026-03-25 14:50 508eeb50

View on Github →

feat(LinearAlgebra): dimension of P →ᵃ[R] W (#36006)

Estimated changes

added theorem AffineMap.finrank_eq