Code

Theory of Symmetric Groups#1187

Code

Open

anshwad10 wants to merge 9 commits intoagda:masteragda/cubical:masterfrom anshwad10:patch-4anshwad10/cubical:patch-4Copy head branch name to clipboard

+77-13

Commits

Commits on Feb 14, 2025

• Theory of Symmetric Groups

  anshwad10

  authored
  0bd8be2

  Copy full SHA for 0bd8be2

• Removed a trailing whitespace

  anshwad10

  authored
  a48ba5c

  Copy full SHA for a48ba5c

• Imported _$_

  anshwad10

  authored
  b98c453

  Copy full SHA for b98c453

Commits on Feb 15, 2025

• Forgot to import from Cubical.Foundations.Isomorphism

  anshwad10

  authored
  6f9840c

  Copy full SHA for 6f9840c

• Forgot to import univalence

  anshwad10

  authored
  23e3fe1

  Copy full SHA for 23e3fe1

• Compatibility with agda#1184

  Show description for e77c237
  anshwad10

  authored
  e77c237

  Copy full SHA for e77c237

• import Foundations.Structure

  anshwad10

  authored
  5d6f168

  Copy full SHA for 5d6f168

• fix

  anshwad10

  authored
  3d93853

  Copy full SHA for 3d93853

Commits on Feb 19, 2025

• Merge branch 'agda:master' into patch-4

  anshwad10

  authored
  e9ec978

  Copy full SHA for e9ec978