SymmetryBook
SymmetryBook copied to clipboard
isnType
In this text:
the predicate isnType is undefined. Also, it would look better if the n occurred as a subscript, instead of inline.