%%visits: 2 ## intuition ## rigour simple_group := groups with only trivial normal_subgroups. ## exam clinic ## examples and non-examples ## resources tags :math:groups_and_symmetries:
:=