Skip to content
Compile blueprint

The continuous algebra homomorphism from v.Completion to w.Completion whenever the infinite place w extends v #154

Sign in to view logs

The continuous algebra homomorphism from v.Completion to w.Completion whenever the infinite place w extends v

The continuous algebra homomorphism from v.Completion to w.Completion whenever the infinite place w extends v #154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
10m 1s
Lint style
1s
10m 2s