Theorem Submodule.pi_univ_bot

Modification history