Library hydras.Ackermann.misc
From
Coq
Require
Export
Eqdep_dec
.
#[
global
]
Set
Asymmetric
Patterns
.