Skip to content
GitLab
Explore
Sign in
Prove that desup restricted to V is an equivalence
Code
Review changes
Check out branch
Download
Patches
Plain diff
Elisabeth.Stenholm
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