Theorem Projectivization.Subspace.span_coe

Modification history