Theorem Projectivization.Subspace.sup_span

Modification history