Proofgold Proposition

∀ x0 . exactly3 x0 ⟶ and (atleast3 x0) (not (atleast4 x0))

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
exactly3_E

proofgold address
TMVD8..^exactly3_E

creator
1168 PrGxv../a37ca..

owner
1168 PrGxv../a37ca..

term root
c9103..