Commit 2026-02-23 03:16 17578798
View on Github →chore: change remaining neq to ne (#35350) I found this minor mismatch while working on another project (https://github.com/lean-phys-community/PhysLean/issues/945). It's not a big deal, yet I would like to make a PR anyway 😄 Also I suggest adding this into "style guide" since 99% of existing code follow this rule.