Have to check the result of 𝔽⁼, not just apply it, to validate 𝔽⁼⁼ result

1 files changed, 1 insertions, 1 deletions

diff --git a/src/r.bqn b/src/r.bqn
index bc17f5d5..00da60db 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -646,7 +646,7 @@ Mod1Inverse ← INF˙ _lookup_ ⟨
 }
 IsConstant ← (3≤Type)◶⟨1 ⋄ 4‿˙ ≡ 0‿¯1⊏Decompose⟩
 Mod2Inverse ← INF˙ _lookup_ ⟨
-  _inv_, {𝕎⊸⊢𝕏}
+  _inv_, {𝕏_invChk_𝕎}
   ∘, AtopInverse
   ○, {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)}
   ⌾, {𝕎⁼⌾𝕏}  # Need to verify for computation Under