Skip to content

Conservativity of freely adding 1,× to a free Category #312

Conservativity of freely adding 1,× to a free Category

Conservativity of freely adding 1,× to a free Category #312

Annotations

1 error and 2 warnings

This job failed