fix eqvar fail report

This commit is contained in:
dzaima 2025-05-28 21:30:58 +03:00
parent 860594ae48
commit 1a2cba2305

View File

@ -245,9 +245,9 @@ helpers ← {
class {·𝕊·: 𝕨+2×𝕩; 𝕊·: 𝕩} c0(r) {HasFill 𝕩? 'h' = 1¨ LV 𝕩; 𝕨0}¨ args𝕨𝕩
(r)("failed eqvar eequal" ! EEqual)¨ 1r
{
c0 𝕩
r0 𝕩
{
c0 Indistinguishable 𝕩?
r0 Indistinguishable 𝕩?
1;
classes {