Commit 2026-08-17 06:27 4819386f

View on Github →

chore(LinearAlgebra/LinearPMap): change lemma to use LinearMap.range (#42425)

Estimated changes

modified theorem LinearPMap.mem_range_iff