PrintForm Definitions graph 1 1 Sections Graphs Doc

At: no repeats singleton
T:Type, t:T. no_repeats(T;[t])
By:
Unfold `no_repeats` 0
THEN
Reduce 0
Generated subgoals:

None

About:
consniluniverseall

PrintForm Definitions graph 1 1 Sections Graphs Doc