실수위의 미분은 mapping with x^n |-> nx^n-1
라면 임의의 ring 위에서도 정의가 가능할거같은데
Formal derivative 검색
눈을 떴구나 가환대수를 해라
Formal derivative 검색
눈을 떴구나 가환대수를 해라