Nuprl - Definition Cascade for prop

WhoCites Definitions graph 1 2 Sections Graphs Doc

	Who Cites prop?

prop	`Def Prop == Type`

Syntax: Prop has structure: prop{i:l}

About:

WhoCites Definitions graph 1 2 Sections Graphs Doc