d-flex flex-column width-full">

feat(Order): add subset_Icc_iff and Set.OrdConnected.eq_Icc

aa37d8c

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Autolabel PRs on: pull_request_target 2

Add topic label

New Contributor Check

Post PR summary comment on: pull_request_target

post-or-update-summary-comment

Check PR titles on: pull_request_target

check_title

Label New Contributors on: pull_request_target

label-and-report-new-contributor

continuous integration (mathlib forks) on: pull_request_target 2

ci (fork) / Build

ci (fork) / Lint style

ci (fork) / Test and lint

ci (fork) / Upload to cache

ci (fork) / Post-Build Step

ci (fork) / Post-CI job

lint and suggest on: pull_request 1

Lint and suggest

Run pre-commit and in-place update PR on push on: pull_request 1

main

Commit Verification on: pull_request

Verify Transient and Automated Commits

Annotations

1 warning and 1 notice

no PR-number provided, not adding labels. (call `lake exe autolabel 150602` to add the labels to PR `150602`)

Applicable labels: #[t-order]

Add topic label

succeeded Jul 11, 2026 in 1m 22s

Loading