The 'natural number' example in the README contains this sentence: `I<M> + I<N>` is the trickiest part here. We have `1 + 2 * m + 1 + 2 * m == 2 + 2 * m + 2 * n == 2 * (1 + m + n)`. I believe that `m` is incorrect duplicated on the leftmost side of the equality relation. Instead of 1 + 2 * m + 1 + 2 * **m** it should read: 1 + 2 * m + 1 + 2 * **n**
AI Analysis
This issue appears to be discussing a feature request or bug report related to the repository. Based on the content, it seems to be resolved. The issue was opened by Aaron1011 and has received 0 comments.
Add a comment
Comment form would go here