Skip to content

Indexed W-types: hlevel without univalence. #2694

Indexed W-types: hlevel without univalence.

Indexed W-types: hlevel without univalence. #2694