Theorem LinearMap.range_eq_of_proj

Modification history