The continuous algebra homomorphism from v.Completion to w.Completion whenever the infinite place w extends v#312
Merged
kbuzzard merged 18 commits intoImperialCollegeLondon:mainfrom smmercuri:InfinitePlaceAlgHomFeb 5, 2025
+156-30
Commits
Commits on Jan 16, 2025
- committed
- committed
- committed
- authored
- committed
