Theorem Submodule.fg_bsupr

Modification history