Loading Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats
6 kyu
Loading Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats
6 kyu
Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats
22 of 56user8436785
-
Language
- Coq
- Lean
-
Language Version
