Proofgold Proposition

∀ x0 x1 . atleastp x0 x1 ⟶ atleastp x1 x0 ⟶ equip x0 x1

type
prop

theory
HotG

name
-

proof
PUac6..

Megalodon
atleastp_antisym_equip

proofgold address
TMYAf..^{atleastp_antisym_equip}

creator
22005 Pr4zB../3f565..

owner
22005 Pr4zB../3f565..

term root
e218e..