Code

congsemigraph: add \= method#933

Code

Merged

james-d-mitchell merged 1 commit intosemigroups:mainsemigroups/Semigroups:mainfrom james-d-mitchell:add-eq-congsemigraphjames-d-mitchell/Semigroups:add-eq-congsemigraphCopy head branch name to clipboardJun 25, 2023

+6

Commits

Commits on Jun 25, 2023

• congsemigraph: add \= method

  james-d-mitchell

  committed
  a1e155d

  Copy full SHA for a1e155d