Search for blocks/addresses/...

Proofgold Proposition

wceq csgrp2 (crab (λ x0 . wbr (cfv (cv x0) cplusg) (cfv (cv x0) cbs) casslaw) (λ x0 . cmgm2))
type
prop
theory
SetMM
name
df_sgrp2
proof
PUeJx..
Megalodon
-
proofgold address
TMLNh..
creator
36384 PrCmT../498eb..
owner
36384 PrCmT../498eb..
term root
210d9..