Post

session 9 of learning lean with @yetanotheruseless.com starting in 1 hour 🙌 7pm UTC last week we defined what subgroups are, and proved that a set consisting of just the identity value is a perfectly valid subgroup!

today we're going to define Normal subgroups and prove the relationship between them and homomorphisms ✨ see it live at twitch.tv/aronadler

apologies for the backseat driving, i was TheMathmanProphecies, have a good night!

ahahaha thanks for joining dude! 🥰 you made it a lot of fun istg once i've gotten some sleep i *will* be able to figure this shit out 😤 brain had turned to absolute mush by this point