텍스트 형식의 군론 증명
군의 곱으로 CircleTimes, 항등원으로 
을 사용하여 군론의 공리를 얻습니다. 군의 요소는 기본적으로 공식적인 기호 a, b, c로 표현됩니다.
공리 중 하나에 따르면 오른쪽 항등원이 존재합니다. 왼쪽 항등원의 존재를 증명합니다.
증명의 11단계를 인간이 읽을 수 있는 형식으로 얻습니다.
군론의 다른 정리를 증명합니다.
단계의 그래프를 표시합니다. 더 중요한 보조정리는 큰 원형 또는 삼각형으로 강조합니다.
‹›
