(3steps) PrintForm Definitions Lemmas mb automata 3 Sections GenAutomata Doc

At: ioa univ lemma 2
1. T:Type{i}. Collection{i}(T) Collection{i'}(T)

A:ioa{i:l}(). A ioa{i':l}
By:
All (Unfold `ioa`)
THEN
BackThruSomeHyp
Generated subgoals:

None

About:
universemembersubtypeall

(3steps) PrintForm Definitions Lemmas mb automata 3 Sections GenAutomata Doc