08/03/2021 (things i learned)

- reflecting laser around ____

- pin, fixed and roller joints /_\, /////, O

- how many equations to determine a system with n dimensions? 6 for n=3

- searching "full penetration butt" just gives you a bunch of engineering stuff

- further maths really is a blessing for engineering maths loll

- university stuff aren't worded as well as u'd think :/

- i see, changed GuruhBurung settings to plain text. .eml files r interesting

- perfectoid spaces project smaller than i imagined, but mustvebeen lots of work

- Happy International Women's Day! Learnt about Hari Ibu in Indonesia

instance : has_pow ℕ ℕ := ⟨λ a b, 37⟩
theorem flt (a b c n : ℕ) :
  a > 0 ∧ b > 0 ∧ c > 0 ∧ n > 2 → a ^ n + b ^ n ≠ c ^ n :=
begin
  intro h, exact dec_trivial,
end