Proofgold Proposition

∀ x0 x1 x2 . equiv_nat_mod x0 x1 x2 ⟶ 6ccc6.. x0 x1 x2

type
prop

theory
HotG

name
-

proof
PUYRP..

Megalodon
-

proofgold address
TMWcs..

creator
8277 Pr6Pc../d11e5..

owner
8277 Pr6Pc../d11e5..

term root
eece9..