Proofgold Proposition

∀ x0 . exactly2 x0 ⟶ and (atleast2 x0) (not (atleast3 x0))

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
exactly2_E

proofgold address
TMNWg..^exactly2_E

creator
1168 PrGxv../1f54b..

owner
1168 PrGxv../1f54b..

term root
3ce37..