modify defn of merely; eliminate purely

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

modify defn of merely; eliminate purely #149

Closed DanGrayson closed 2 years ago

DanGrayson commented 2 years ago

I'll add a remark about other uses of adjectives in mathematics.

DanGrayson commented 2 years ago

Done, take a look.

UlrikBuchholtz commented 2 years ago

Looks good to me!