Proofgold Proposition

∃ x0 x2 . and (and (Group x2) (subgroup x0 x2)) (not (normal_subgroup x0 x2))

type
prop

theory
HotG

name
nonnormal_subgroup

proof
PUMaE..

Megalodon
nonnormal_subgroup

proofgold address
TMK3f..^{nonnormal_subgroup}

creator
4924 Pr6Pc../a98e1..

owner
4924 Pr6Pc../a98e1..

term root
4af1e..