Proofgold Proposition

∀ x0 . x0 ∈ setminus omega (Sing 0) ⟶ ∀ x1 . x1 ∈ int ⟶ ∃ x2 . and (x2 ∈ int) (∃ x4 . and (x4 ∈ x0) (x1 = add_SNo (mul_SNo x2 x0) x4))

type
prop

theory
HotG

name
quotient_remainder_int

proof
PUVXT..

Megalodon
quotient_remainder_int

proofgold address
TMXXx..^{quotient_remainder_int}

creator
29757 PrQUS../2ad5f..

owner
29757 PrQUS../2ad5f..

term root
a18a8..