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

Annotations

1 warning

Lint style

Lint style
succeeded Jan 16, 2025 in 0s