feat: add a lemma relating `minKey?` and `min?` for `DTreeMap` · leanprover/lean4@aa18394

Triggered via pull request December 8, 2025 14:12

wkrozowski

synchronize #11528

Status Cancelled

Total duration 9m 1s

Artifacts –

ci.yml

on: pull_request

Matrix: build / build

Waiting for pending jobs

Matrix: build-secondary / build

Waiting for pending jobs

2 errors

Canceling since a higher priority waiting request for CI-refs/pull/11528/merge-pull_request exists

Canceling since a higher priority waiting request for CI-refs/pull/11528/merge-pull_request exists