Theorem Projectivization.Subspace.subset_span_trans

Modification history