Code

conjugation of group elements#2178

Code

Merged

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/conjugation_of_group_elementsAlizter/HoTT:ps/rr/conjugation_of_group_elementsCopy head branch name to clipboardJan 3, 2025

+66

Commits

Commits on Jan 3, 2025

• conjugation of group elements

  Show description for ec97d58
  Alizter

  committed
  ec97d58

  Copy full SHA for ec97d58