Theorem Projectivization.Subspace.mem_carrier_iff

Modification history