Theorem Submodule.fg_biSup

Modification history