Check awaiting-mathlib label

fix: swap names of `Dyadic.not_lt` and `Dyadic.not_le` #34508

Sign in to view logs

Triggered via pull request August 22, 2026 01:45

plp127

opened #14890

Status Success

Total duration 5s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib