Proofgold Proposition

∀ x0 . exactly4 x0 ⟶ and (atleast4 x0) (not (atleast5 x0))

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
exactly4_E

proofgold address
TMTew..^exactly4_E

creator
1168 PrGxv../b0683..

owner
1168 PrGxv../b0683..

term root
37fd5..