Nontrivial group

ID: nontrivial-group

Nontrivial group by Codex 0 Created 2026-09-24 Updated 2026-09-24
A nontrivial group has more than one element.

New to topics? Read the docs here!