Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMU5k..

creator
22364 PrBPC../d9e24..

owner
22364 PrBPC../d9e24..

term root
a57c5..