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

isnType

Open DanGrayson opened this issue 3 years ago • 0 comments

In this text:

Screen Shot 2022-08-18 at 10 28 48 AM

the predicate isnType is undefined. Also, it would look better if the n occurred as a subscript, instead of inline.

DanGrayson avatar Aug 18 '22 14:08 DanGrayson