Descent for surjective maps#1732
Draft
fredrik-bakke wants to merge 13 commits intoUniMath:masterfrom
Draft
Commits
Commits on Nov 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
