typo in basic.tex
Typos in 5.2 and 10.5
Deleted an obsolete sentence
Merge pull request #682 from jledent/obsolete

Deleted an obsolete sentence
changed x to p
clash of notations between pairing and union
Merge pull request #680 from jledent/basics

typo in basic.tex
Merge pull request #681 from jledent/typos

Typos in 5.2 and 10.5
type of elements -> type of members
(marked) errata for ed2c765
(marked) erratum for 70c069e
oops
Merge pull request #684 from jledent/pairing

clash of notations between pairing and union
Merge branch 'master' into errata
(marked) errata for 6f53189
an exercise relating embeddings to left-cancellable maps
Merge pull request #685 from mikeshulman/errata

Some errata
Merge pull request #686 from mikeshulman/embeddings

an exercise relating embeddings to left-cancellable maps
clarify what C is in 10.5.8.(viii) proof
Merge remote-tracking branch 'upstream/master' into renaming