SymmetryBook icon indicating copy to clipboard operation
SymmetryBook copied to clipboard
verified publisher icon UniMath

chapter 3

Open DanGrayson opened this issue 3 years ago • 0 comments

read chapter 3 and fix the usage of \eqto and \eq

DanGrayson avatar Sep 08 '22 16:09 DanGrayson