We prove that any quasigroup admissing complete or quasicomplete mapping has a prolongation to a quasigroup having one element more.
生成讲解博客的中文版本
生成AI智能校验的中文版本