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

Published 20 hours ago • verified publisher icon UniMath

Fiber sequences

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

Some work on #834.

fredrik-bakke avatar Feb 12 '25 22:02 fredrik-bakke

Since we call maps out of NN sequences, what should we call maps out of ZZ?

fredrik-bakke avatar Feb 13 '25 11:02 fredrik-bakke