fix: swap names of Dyadic.not_lt and Dyadic.not_le
#48672
Triggered via pull request
August 25, 2026 14:12
leanprover-bot
labeled
#14890
Status
Success
Total duration
6s
Artifacts
–