Commit 2025-07-04 02:24 dd257084

View on Github →

feat(Order): Add curried versions of biSup_prod and biInf_prod (#26486) Used in the Brownian Motion project.

Estimated changes

added theorem biInf_prod'
added theorem biSup_prod'