Skip to content

Indexed W-types: hlevel without univalence.#1172

Merged
felixwellen merged 1 commit intoagda:masterfrom anuyts:iwNov 28, 2024

Commits

Commits on Nov 25, 2024