The basic relation in modular arithmetic is the modulus relation. In dependent type theory with a natural numbers type and function types, ...
確定! 回上一頁