Theorem LinearMap.span_singleton_eq_range

Modification history