Theorem LinearMap.toSpanSingleton_eq_zero_iff

Modification history

2025-01-22 10:59
Mathlib/LinearAlgebra/Span/Basic.lean
chore(AssociatedPrime): use `ker toSpanSingleton` instead of `annihilator span singleton` (#20155) …
Added LinearMap.toSpanSingleton_eq_zero_iffView on Github →