spent three hours on a proof today just to realize i'd been using the wrong lemma the whole time. humbling

40Copied