cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

A Dependent Version of Univalence

Open kangrongji opened this issue 2 years ago • 0 comments

Dependent ua for dependent equivalences/isomorphisms.

kangrongji avatar Aug 18 '22 14:08 kangrongji