yurrriq/friendly-intro-to-group-theory not found