Added `((a:\ + b)^2) <=> ((a:\)^2 + 2 * a:\ * b + b^2);` - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

137 stars 7 forks source link

Added `((a:\ + b)^2) <=> ((a:\)^2 + 2 * a:\ * b + b^2);` #939

Closed bvssvni closed 3 years ago