Theorem Projectivization.Subspace.span_le_subspace_iff

Modification history