Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 10, 2025

• w.i.p. 5.4

  

  marcbezem

  committed
  5600942

  Copy full SHA for 5600942

Commits on Mar 9, 2025

• lem:surj-set-orbits

  

  marcbezem

  committed
  a5dab29

  Copy full SHA for a5dab29

Commits on Mar 8, 2025

• minor, wip

  

  marcbezem

  committed
  ac10133

  Copy full SHA for ac10133

Commits on Mar 6, 2025

• w.i.p. Burnside

  

  marcbezem

  committed
  0d404e8

  Copy full SHA for 0d404e8

Commits on Mar 3, 2025

• Card(X) for finite X, 2 xca's

  

  marcbezem

  committed
  f771c8a

  Copy full SHA for f771c8a

• Lagrange Construction

  

  marcbezem

  committed
  4d1a499

  Copy full SHA for 4d1a499

Commits on Mar 1, 2025

• Lagrange Thm using transitivity

  

  marcbezem

  committed
  577f68b

  Copy full SHA for 577f68b

Commits on Feb 27, 2025

• new formulation of Lagrange

  

  marcbezem

  committed
  96e8c38

  Copy full SHA for 96e8c38

Commits on Feb 26, 2025

• w.i.p. 5.4.16

  

  marcbezem

  committed
  f89cf75

  Copy full SHA for f89cf75

Commits on Feb 20, 2025

• def, xca, exa added to 5.8

  

  marcbezem

  committed
  9c5adb8

  Copy full SHA for 9c5adb8

Commits on Jan 24, 2025

• finite group + minor in 5.8

  

  marcbezem

  committed
  5b9949c

  Copy full SHA for 5b9949c

Commits on Jan 23, 2025

• Card:=# and polish Ch.2

  

  marcbezem

  committed
  4faf300

  Copy full SHA for 4faf300

Commits on Jan 20, 2025

• xca:map-induces-quotient

  

  marcbezem

  committed
  ec9be72

  Copy full SHA for ec9be72

Commits on Jan 17, 2025

• fix footnote on ttac

  UlrikBuchholtz

  committed
  b4568e6

  Copy full SHA for b4568e6

• fixes of \Sub and subtype in Ch3

  

  marcbezem

  committed
  5dec441

  Copy full SHA for 5dec441

• minor + ftn 67,68 in Ch2

  

  marcbezem

  committed
  d3337a9

  Copy full SHA for d3337a9

Commits on Jan 16, 2025

• Merge branch 'master' of github.com:UniMath/SymmetryBook

  

  marcbezem

  committed
  525410e

  Copy full SHA for 525410e

• TT-AC in Ch.2 + minor

  

  marcbezem

  committed
  68e270e

  Copy full SHA for 68e270e

• move footnote in congp

  UlrikBuchholtz

  committed
  03ea35a

  Copy full SHA for 03ea35a

• Merge branch 'master' of github.com:UniMath/SymmetryBook

  

  marcbezem

  committed
  e5ba465

  Copy full SHA for e5ba465

• Merge branch 'master' of github.com:UniMath/SymmetryBook

  

  marcbezem

  committed
  0c5da35

  Copy full SHA for 0c5da35

Commits on Jan 15, 2025

• fix all subtypes in 2.20+

  

  marcbezem

  committed
  ae1e7ae

  Copy full SHA for ae1e7ae

• fix one Sub in 2.25

  

  marcbezem

  committed
  221a6ba

  Copy full SHA for 221a6ba

Commits on Jan 14, 2025

• done swap Sub-Inj in 2.20

  

  marcbezem

  committed
  0ab8b8d

  Copy full SHA for 0ab8b8d

Commits on Jan 12, 2025

• upto 2.20.10

  

  marcbezem

  committed
  53c0ed0

  Copy full SHA for 53c0ed0

• minor in subgroups

  UlrikBuchholtz

  committed
  fccad3f

  Copy full SHA for fccad3f

Commits on Jan 10, 2025

• upto 2.20.8

  

  marcbezem

  committed
  7daebce

  Copy full SHA for 7daebce

Commits on Jan 9, 2025

• fix names in eq. 5.2.2

  UlrikBuchholtz

  committed
  afd4c7c

  Copy full SHA for afd4c7c

• starting working 5.3 over

  UlrikBuchholtz

  committed
  d837aad

  Copy full SHA for d837aad

• Merge branch 'master' of github.com:UniMath/SymmetryBook

  

  marcbezem

  committed
  536efb2

  Copy full SHA for 536efb2

Commits on Jan 8, 2025

• upto lem:Sub(T)=Inj(T)

  

  marcbezem

  committed
  731b664

  Copy full SHA for 731b664

Commits on Jan 6, 2025

• simplified lem:sum-of-fibers

  

  marcbezem

  committed
  bab00aa

  Copy full SHA for bab00aa

• add a picture of S2 acting on C3

  UlrikBuchholtz

  committed
  8492a41

  Copy full SHA for 8492a41

• Done TODO 2.7.2

  

  marcbezem

  committed
  ddc2f46

  Copy full SHA for ddc2f46

• updates in 5.2, incl action of S2 on C3

  UlrikBuchholtz

  committed
  51e8988

  Copy full SHA for 51e8988

Pagination

Previous

Next