Proofgold Proposition

wceq csubg (cmpt (λ x0 . cgrp) (λ x0 . crab (λ x1 . wcel (co (cv x0) (cv x1) cress) cgrp) (λ x1 . cpw (cfv (cv x0) cbs))))

type
prop

theory
SetMM

name
df_subg

proof
PUf8C..

Megalodon
-

proofgold address
TMYiW..

creator
36388 PrCmT../f9868..

owner
36388 PrCmT../f9868..

term root
c5ca9..