Bryan Gin-ge Chen

icon location here to learn

Results 105 comments of Bryan Gin-ge Chen

feat(to_dual): don't translate the order on `Set`

Could you add a comment explaining the attribute (possibly just linking to the Zulip post)? Thanks! bors d+

chore(Order/Iterate): avoid `to_dual existing`

Thanks! bors r+

chore(Order/Iterate): avoid `to_dual existing`

bors r+

feat: Prokhorov theorem

bors r+

chore(Algebra/Order): deduplicate material on ordered algebras

Hijacking this PR to run a quick test for #33042. Please ignore! maintainer merge?