Proofgold Proposition

∀ x0 x1 x2 . atleastp x0 x1 ⟶ atleastp x1 x2 ⟶ atleastp x0 x2

type
prop

theory
HotG

name
atleastp_tra

proof
PUfcG..

Megalodon
atleastp_tra

proofgold address
TMSyi..^atleastp_tra

creator
14561 Pr4zB../6fcc6..

owner
14561 Pr4zB../6fcc6..

term root
0e83b..