Search for blocks/addresses/...

Proofgold Proposition

ChurchNum_mult ChurchNum2 ChurchNum2 = ChurchNum4
type
prop
theory
HotG
name
ChurchNum_mult_2_2
proof
PUMJH..
Megalodon
-
proofgold address
TMceY..
creator
17169 PrHSW../c2d93..
owner
17169 PrHSW../c2d93..
term root
57a2b..