fix a few typos in chapter 2

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Creative Commons Attribution Share Alike 4.0 International

398 stars 23 forks source link

fix a few typos in chapter 2 #186

Closed clayrat closed 1 year ago

UlrikBuchholtz commented 1 year ago

Thanks!