Quotient
Integer Functions
Quotient[
m
,
n
]
Identities
Functional identities