Theorem Submodule.pi_empty

Modification history