Theorem Submodule.fg_bsupᵢ

Modification history