courtneygibbons.org
Can’t win every day, right?
Working on proving the theorem today.