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

Published 20 hours ago • verified publisher icon UniMath

Formalize the notion of density in a strict poset

Open lowasser opened this issue 8 months ago • 3 comments

This will necessarily have to be different for large strict posets, too, which I'm not even sure exist yet?

lowasser avatar Mar 26 '25 17:03 lowasser