We give a computer-free proof that the Mathieu group M22M22 is a homomorphic image of the progenitor 2∗14:L3(2)2∗14:L3(2) factorized by three relations.
生成讲解博客的中文版本
生成AI智能校验的中文版本