Theorem Projectivization.Subspace.span_union

Modification history