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