Theorem Projectivization.exists_smul_eq_mk_rep

Modification history