We show that a holonomic divisor is free if and only if applying all logarithmic derivations to a generic function with isolated critical point yields a complete intersection Artin algebra.
生成讲解博客的中文版本
生成AI智能校验的中文版本