Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Merge requests
!4
Prove that desup restricted to V is an equivalence
Code
Review changes
Check out branch
Download
Patches
Plain diff
Elisabeth.Bonnevier
requested to merge
desup-is-equiv
into
master
Mar 15, 2022
Overview
0
Commits
5
Pipelines
0
Changes
7
Expand
This merge request contains a proof that desup restricted to V is an equivalence
Merge request reports