PrintForm Definitions finite sets Sections AutomataTheory Doc

At: one one sym

T,S:Type. (T ~ S) (S ~ T)
By: UnivCD
Generated subgoal:

11. T: Type
2. S: Type
3. T ~ S
S ~ T

About:
alluniverseimplies