Added `((a + b)^3) <=> (a^3 + 3 * a^2 * b + 3 * a * b^2 + b^3)` - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Added `((a + b)^3) <=> (a^3 + 3 * a^2 * b + 3 * a * b^2 + b^3)` #970

Closed bvssvni closed 3 years ago