Theorem Projectivization.finrank_submodule

Modification history