Proofgold Proposition

Loop 2 (b97a8.. 0 1 1 0) (b97a8.. 0 1 1 0) (b97a8.. 0 1 1 0) 0

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
Z2_Loop

proofgold address
TMJZi..^Z2_Loop

creator
2311 PrGxv../4e1f3..

owner
2311 PrGxv../4e1f3..

term root
a1700..