Skip to content

Prove that desup restricted to V is an equivalence

Elisabeth.Bonnevier requested to merge desup-is-equiv into master

This merge request contains a proof that desup restricted to V is an equivalence

Merge request reports