Proofgold Object

λ x0 x1 . and (and (x0 ∈ int_alt1) (x1 ∈ int_alt1)) (∀ x2 : ο . (∀ x3 . and (x3 ∈ int_alt1) (mul_SNo x0 x3 = x1) ⟶ x2) ⟶ x2)

type
ι → ι → ο

theory
HotG

name
divides_int_alt1

definition
PUfRN..

Megalodon
divides_int

proofgold address
TMT9K..^divides_int

creator
4972 Pr6Pc../e4123..

owner
4972 Pr6Pc../e4123..

term root
af5f6..