Skip to content

Subterminal precategories and constant functors (#941) #387

Subterminal precategories and constant functors (#941)

Subterminal precategories and constant functors (#941) #387