Natural-number divisibility
A natural number a divides b when a natural multiplier k satisfies b=a·k; the two roles of zero must be distinguished.
atlas-natural-divisibility · canonical_mko
Natural-number divisibility
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data