Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
exactly4_I

proofgold address
TMXZH..^exactly4_I

creator
1168 PrGxv../77f0a..

owner
1168 PrGxv../77f0a..

term root
5cdc8..