Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.