Commit 2023-06-30 01:46 28b67a40

View on Github →

feat: positivity extension for ite (#2273) Match https://github.com/leanprover-community/mathlib/pull/17650

Estimated changes