Theorem Projectivization.Subspace.span_univ

Modification history