Skip to content

Merge pull request #2103 from jdchristensen/impredicative-truncation #2933

Merge pull request #2103 from jdchristensen/impredicative-truncation

Merge pull request #2103 from jdchristensen/impredicative-truncation #2933