Database
BASIC ALGEBRAIC STRUCTURES
Groups
Simple groups
Definition and basic properties
Next ⟩
csimpg
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 10.2.15.1. Definition and basic properties
csimpg
df-simpg
issimpg
issimpgd
simpggrp
simpggrpd
simpg2nsg
trivnsimpgd
simpgntrivd
simpgnideld
simpgnsgd
simpgnsgeqd
2nsgsimpgd
simpgnsgbid