Nuprl - Pf col_le_reflexive 1

(2steps) PrintForm Definitions Lemmas mb collection Sections GenAutomata Doc

At: col le reflexive 1

1. T: Type
2. c1: Collection(T)

c1 = c1

By: RelRST

Generated subgoals:

None

About:

(2steps) PrintForm Definitions Lemmas mb collection Sections GenAutomata Doc