Skip to content

Decidable: some more instances #24

Decidable: some more instances

Decidable: some more instances #24