mb
hybrid
Sections
GenAutomata
Doc
Def
DecidableEquiv == T:Type
E:T
T
EquivRel(T)(
(_1 E _2))
Top
is mentioned
In prior sections:
mb
structures
Try larger context:
GenAutomata
mb
hybrid
Sections
GenAutomata
Doc
E:T
T
EquivRel(T)(
(_1 E _2))Top