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

Published 20 hours ago • verified publisher icon UniMath

Equivalence between a type and the coproduct of a decidable subtype and its complement

Open lowasser opened this issue 8 months ago • 1 comments

lowasser avatar Mar 23 '25 21:03 lowasser