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

Published 20 hours ago • verified publisher icon UniMath

Quasiidempotence is not a proposition

Open fredrik-bakke opened this issue 1 year ago • 0 comments

Follow-up to #1105.

fredrik-bakke avatar Apr 23 '24 20:04 fredrik-bakke