Theorem Submodule.localized₀_bot

Modification history