fix: make sure isDefEqSingleton rule checks types#6421
Open
kmill wants to merge 3 commits intoleanprover:masterfrom kmill:fix_6420
+66-4
Commits
Commits on Dec 20, 2024
- committed
- committed
isDefEqSingleton rule checks types#6421