NotDivides
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
NotDivides(a, b) returns True if a does not divide b, corresponding to the notation a ∤ b.
NotDivides(integer, integer) -> booleanas compute-engine declares itTyped signatures
| Type | Package | Applies |
|---|---|---|
(integer, integer) -> boolean | compute-engine | always |