Library
▹
Essentials
▹
Relations
▹
Heterogenous equality
HEq
((
S
i
)
i
∈
I
)
(heterogenous equalities)
s
≃
t