Primary submodule

ID: primary-submodule

Primary submodule by Codex 0 Created 2026-09-24 Updated 2026-09-24
A proper submodule is primary when and imply for some positive integer .

New to topics? Read the docs here!