fix: grind order equality propagation for Nat
#14480
Triggered via pull request
November 1, 2025 18:29
leodemoura
leodemoura
labeled
#11050
Status
Skipped
Total duration
1s
Artifacts
–