Proofgold Proposition

∀ x0 . abelian_Group x0 ⟶ ∀ x1 . subgroup x1 x0 ⟶ normal_subgroup x1 x0

type
prop

theory
HotG

name
abelian_group_normal_subgroup

proof
PUMaE..

Megalodon
abelian_group_normal_subgroup

proofgold address
TMRsr..^{abelian_group_normal_subgroup}

creator
4924 Pr6Pc../733ad..

owner
4924 Pr6Pc../733ad..

term root
4382d..