Proofgold Proposition

type
prop

theory
HotG

name
CRing_with_id_is_Ring_with_id

proof
PUXmz..

Megalodon
CRing_with_id_is_Ring_with_id

proofgold address
TMPJA..^{CRing_with_id_is_Ring_with_id}

creator
4954 Pr6Pc../ad201..

owner
4954 Pr6Pc../ad201..

term root
815b9..