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

Published 20 hours ago • verified publisher icon UniMath

Constancy of maps

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

This PR formalizes the concept of constancy of a map of types.

fredrik-bakke avatar Mar 26 '25 02:03 fredrik-bakke