𝔽⁼⁼⁼ is always 𝔽⁼

1 files changed, 2 insertions, 2 deletions

diff --git a/src/r.bqn b/src/r.bqn
index 00da60db..73a78f3c 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_, {𝕏_invChk_𝕎}
+  _inv_, {𝕏_inv_𝕎}
   ∘, AtopInverse
   ○, {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)}
   ⌾, {𝕎⁼⌾𝕏}  # Need to verify for computation Under
@@ -671,4 +671,4 @@ FuncInverse ← (⊑ ⊣◶⟨
   Mod2Inverse                            # 5 2-modifier
 ⟩ 1⊸↓) Decompose
 Inverse ← Type◶(3‿1‿2/{⊢⊣𝕩IX∘≡⊢}‿FuncInverse‿("Cannot invert modifier"!0˙))
-⁼ ↩ {𝕗 ≠◶⊢‿{𝕩_inv_𝕨} Inverse 𝕗}
+⁼ ↩ {𝕗 ≠◶0‿(5‿_inv_≢0‿¯2⊏Decompose∘⊢)◶⊢‿{𝕏_inv_(𝕎_invChk_𝕏)} Inverse 𝕗}