Commit 2025-11-14 11:51 9686731c
View on Github →chore(Order/UnorderedInterval): add basic uIoo lemmas (#31438)
Add a couple of lemmas about uIoo that are already present for uIcc. We also rename uIoo_subset_uIcc to uIoo_subset_uIcc_self for parity with the ordered version.