Nuprl - Proof: no repeats mapoutl 1

(4steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: no repeats mapoutl 1

1. A: Type
2. B: Type
3. s: (A+B) List

no_repeats(A+B;nil) no_repeats(A;nil)

By: Obvious

Generated subgoals:

None

About:

(4steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc