[学习笔记] 莫比乌斯反演

自己写了个一个形式化一点的莫比乌斯函数的定义不保证正确
\(\mu(d) = \left\{\begin{matrix}1,d=1 \\ (-1)^n,d=\Pi_{i=1}^{n}p_i^{k_i} \wedge \forall p_i\Rightarrow k_i=1 \\ 0,d=\Pi_{i=1}^{n}p_i^{k_i} \wedge \exists p_i\Rightarrow k_i\geqslant 2 \end{matrix}\right.\)