Skip to content

composition is exponentiable

56ac18d
Select commit
Loading
Failed to load commit list.
Merged

feat: exponentiable maps are pullback-stable; comp is exponentiable #34

composition is exponentiable
56ac18d
Select commit
Loading
Failed to load commit list.