Skip to content

fix: swap names of Dyadic.not_lt and Dyadic.not_le - #14890

Merged
kim-em merged 1 commit into
leanprover:masterfrom
plp127:aliu/dyadic-not_lt_le
Sep 1, 2026
Merged

fix: swap names of Dyadic.not_lt and Dyadic.not_le#14890
kim-em merged 1 commit into
leanprover:masterfrom
plp127:aliu/dyadic-not_lt_le

fix

7b6c255
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-mathlib
succeeded Aug 22, 2026 in 3s