Proofgold Proposition

∀ x0 x1 x2 x3 . equip x0 x3 ⟶ equip x1 (ordsucc x3) ⟶ equip_mod x0 x1 x2

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMXDL..

creator
22364 PrBPC../0872e..

owner
22364 PrBPC../0872e..

term root
8bc85..