UniMath/SymmetryBook Issues
Lemma 2.15.4 (6)
Closed 72.22.10-13
Closed 52.24.2-4
Closed 22.12.8-10
Closed 1Last paragraph of 2.16
Closed 9Building of book fails
Closed 6Theorem 2.26.4
Closed 4universal set bundle
Closed 7Commutativity of diagrams
Closed 16"ad" is not defined
Updated 1The concept of homotopy type
Updated 2Definition of transitive G-set
Closed 7Subscripts to \eqto
Updated 2Build problem
Closed 1Rings and abstract rings
Updatedgarbled text
UpdatedIntroduce the subset notation
Closed 4image inclusion
Closed 4Moratorium on new global changes?
Updated 1Identity crisis
Updated 3definitions
Closed 5Proof of Cauchy's theorem 7.3.2
Closed 4\equiv
Closed 13Theorem 3.1.2
Updated 9diagrams
Closed 1chapter 3
Updatedsubtypes
Updated 1" merely "
Updated 2"merely"
Updated 5isnType
Updatedn-truncation
Closed 1Scope of chapter 8
Updated 1Definition of Pythagorean fields
Updated 5Sign homomorphism
Updated 13Typo
Closed 1Epi-Mono decomposition for groups
Updated 2new notation for paths over
Updated 7path composition figure
Updated