fix missing name - Githubissues

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

371 stars 22 forks source link

fix missing name #195

Open ncfavier opened 10 months ago

ncfavier commented 10 months ago

I think this was carried over from an earlier version of this section