Skip to content

Equality in iterated Sigma types #268

Equality in iterated Sigma types

Equality in iterated Sigma types #268