200 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. 378 2024-10-10 ...
Some results have been hidden because they may be inaccessible to you
