kdrag.theories.int

Builtin theory of integers

Functions

`induct`(x, P)
`induct_nat`(x, P)
`induct_nat_strong`(x, P)

kdrag.theories.int.induct(x, P)

kdrag.theories.int.induct_nat(x, P)

kdrag.theories.int.induct_nat_strong(x, P)