structure Math :> MATH where type real = Real.real. The signature MATH specifies basic mathematical constants, the square root function, ...
確定! 回上一頁