Theorem Projectivization.Subspace.span_eq_span_iff

Modification history