WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites pm equal?
pm_equalDef i = j == i = j i = -j
Thm* a,b:. a = b Prop

Syntax:i = j has structure: pm_equal(i; j)

About:
intminusequalmemberproporall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc