Proofgold Proposition

∀ x0 x1 . divides_int x0 x1 ⟶ SNoLt 0 x1 ⟶ SNoLe x0 x1

type
prop

theory
HotG

name
divides_int_pos_Le

proof
PUVXT..

Megalodon
divides_int_pos_Le

proofgold address
TMLWz..^{divides_int_pos_Le}

creator
29757 PrQUS../6d2b8..

owner
29757 PrQUS../6d2b8..

term root
31055..