SHARE
TWEET

Untitled

a guest Feb 21st, 2020 77 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. 1 + (((a + a) + (b + b)) + (a * a)) + (b * b + 2 * a * b) ≡⟨ cong suc (cong (_+ (b * b + 2 * a * b)) {!!})
  2. 1 + (((a + a) + a * a) + (b + b)) + (b * b + 2 * a * b)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top