sielenk/coq-playground

Add CatAx transport via faithful functor.

sielenk opened this issue · 0 comments

sielenk commented

Use where appropriate.