fixed typo "to intricate" -> "too intricate" in Remark 4.12.7

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

378 stars 22 forks source link

fixed typo "to intricate" -> "too intricate" in Remark 4.12.7 #142

Closed ghost closed 2 years ago

UlrikBuchholtz commented 2 years ago

Thanks!