Theorem Projectivization.Subspace.monotone_span

Modification history