WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites rel or?
rel_orDef (R1 R2)(x,y) == (x R1 y) (x R2 y)
Thm* T:Type, R1,R2:(TTProp). (R1 R2) TTProp

Syntax:R1 R2 has structure: rel_or(R1; R2)

About:
applyfunctionuniversememberproporall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc