agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Closure properties of π-finite types

Open fredrik-bakke opened this issue 9 months ago • 0 comments

Here's that PR I talked about a while back.

fredrik-bakke avatar Feb 09 '25 19:02 fredrik-bakke