Commits

Branch selector

 master

User selector

pierrecagne

Datepicker

All time

Commit History

Commits on Aug 8, 2024

• Correct paragraph between 4.5.7 and 4.5.8. It now avoids an inmplicit use of delooping. The former footnote has made its way to the text. A forward reference to delooping has been made in a new foo…

  Show description for fad5cb6
  pierrecagne

  committed
  fad5cb6

Commits on Feb 8, 2024

• cleaning up 4.12.14 about Warn's construction

  pierrecagne

  committed
  f2adaf6

Commits on Oct 16, 2023

• first draft of discussion about Warn's contruction (end argument is missing, will complete soon)

  pierrecagne

  committed
  7572f14

Commits on Sep 21, 2023

• add in Abelian groups a lemma proving the universal cover is universal according to the new definition 3.3.10

  pierrecagne

  committed
  fb3138b

Commits on May 18, 2023

• minor (old stash that started to be in conflict with the latest commits)

  pierrecagne

  committed
  f374a3b

Commits on Feb 27, 2023

• fix BibTeX error

  pierrecagne

  committed
  84270ea

Commits on Feb 16, 2023

• Revise section on abelian groups to adapt the style of the proofs to the new notations for identity types and equivalence types; TODO: take care of the first paragraph about convention (\ptdweq)

  pierrecagne

  committed
  497cebf

Commits on Jan 12, 2023

• defining the notation \subseteq

  pierrecagne

  committed
  bc6c168

Commits on Nov 17, 2022

• Unicode in README.md to match the symbols of the book

  pierrecagne

  committed
  352d567

Commits on Oct 19, 2022

• correct the proof of Cauchy's theorem in the chapter on finite groups

  pierrecagne

  committed
  85b0e92

Commits on Sep 15, 2022

• typo in circle.tex

  pierrecagne

  committed
  685b264

• continue transforming = to \eqto

  pierrecagne

  committed
  be0bfd2

Commits on Sep 8, 2022

• start replacing = by \eqto in group chapter; need to discuss phrasing of some statement

  pierrecagne

  committed
  d86fd58

Commits on Aug 23, 2022

• correct mistake in lem:BGbytorsor -- derived equality was not well-typed

  pierrecagne

  committed
  7a4b637

Commits on Jul 28, 2022

• fix bad references to lemma and corollary from intro-uf

  pierrecagne

  committed
  553ad52

Commits on Jan 20, 2022

• small edits in Automophisms of groups

  pierrecagne

  committed
  2199fde

Commits on Nov 19, 2021

• fix alternative description of Out(G)

  pierrecagne

  committed
  6877860

Commits on Nov 17, 2021

• wite section on automorphism groups (out/inn/center) incorporating older material from Ulrik; WIP

  pierrecagne

  committed
  6c837d4

Commits on Nov 11, 2021

• Replace the incorrect use of iff in lem:weq-iso

  pierrecagne

  committed
  fceea33

Commits on Aug 12, 2021

• Resolve issue #114.

  Show description for 90ace09
  pierrecagne

  committed
  90ace09

Commits on Apr 21, 2021

• Correction concerning the proof of UMP for Cyc_n

  pierrecagne

  committed
  b33c720

Commits on Apr 20, 2021

• End of the proof about Cyc_n's UMP

  pierrecagne

  committed
  e4331ac

Commits on Apr 8, 2021

• add stuff on UMP of Cyc_n

  pierrecagne

  committed
  4a767ee

Commits on Mar 25, 2021

• add few details to cycles' section

  pierrecagne

  committed
  59dd2c8

Commits on Feb 18, 2021

• small correction in Galois chapter

  pierrecagne

  committed
  0021ac8

Commits on Jan 28, 2021

• basic stuff

  pierrecagne

  committed
  ae3a649

• first elements

  pierrecagne

  committed
  1fe77e7

Commits on Aug 17, 2020

• fix size issue with \div

  pierrecagne

  committed
  30d4a5c

Commits on Jul 13, 2020

• resolve wording issue about symmetries of Set and symmetries in Set (related to issue #51)

  pierrecagne

  committed
  822a9b6

Commits on Jun 29, 2020

• Define LEM, reference to LPO, and state basic relation between the two principles

  pierrecagne

  committed
  960a1e5

Commits on May 25, 2020

• small edit in abelian group section

  pierrecagne

  committed
  e0e6478

Commits on Apr 15, 2020

• Tuftify chapter 3

  Show description for 7d543c9
  pierrecagne

  committed
  7d543c9

Commits on Mar 27, 2020

• Moves abelian group section to after G-torsors and morphisms.

  Show description for 8d96893
  pierrecagne

  committed
  8d96893

Commits on Mar 25, 2020

• Fix issue of biber encoding.

  pierrecagne

  committed
  4cac917

Commits on Mar 22, 2020

• Polish the proof, remove unnecessary commented material.

  pierrecagne

  committed
  acb35b4

Pagination

PreviousNext