Theorem Projectivization.Subspace.span_empty

Modification history