Skip to content

Extensionality of globular types (#1190) #112

Extensionality of globular types (#1190)

Extensionality of globular types (#1190) #112