Theorem Projectivization.Subspace.span_sup

Modification history