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