Theorem LinearMap.eqOn_span_iff

Modification history