Brendan Zabarauskas@brendanzabReplying to @typeswitch and @afsofia_There was much grumbling at the price of theorems!10:26 AM · Apr 21, 2019·Twitter for iPhone1 Retweet4 Likes
Brendan Zabarauskas@brendanzab·Apr 21, 2019Replying to @brendanzab and @afsofia_Just wait till we get multiplicities though. @edwinbrady and @buggymcbugfix can tell you how amazing those are! 🥰3
