Code

Perfect subgroups#847

Code

Merged

EgbertRijke merged 5 commits intoUniMath:masterUniMath/agda-unimath:masterfrom UlrikBuchholtz:acyclicUlrikBuchholtz/agda-unimath:acyclicCopy head branch name to clipboardOct 16, 2023

+48

Commits

Commits on Oct 16, 2023

• add perfect subgroups

  UlrikBuchholtz

  committed
  22a9c7a

  Copy full SHA for 22a9c7a

• run make pre-commit

  UlrikBuchholtz

  committed
  6c771c7

  Copy full SHA for 6c771c7

• make pre-commit had added a non-indexed file to the group theory index

  UlrikBuchholtz

  committed
  28867dc

  Copy full SHA for 28867dc

• Update src/group-theory/perfect-subgroups.lagda.md

  Show description for df78f6c
  

  UlrikBuchholtz

  and

  fredrik-bakke

  authored
  df78f6c

  Copy full SHA for df78f6c

• Merge branch 'master' into acyclic

  UlrikBuchholtz

  authored
  3defd3b

  Copy full SHA for 3defd3b