Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . PNoLt_pwise (PNoCutL x0 x1) (PNoCutR x0 x1)

type
prop

theory
HotG

name
PNoCut_pwise

proof
PUQ2Y..

Megalodon
PNoCut_pwise

proofgold address
TMZSE..^PNoCut_pwise

creator
4903 Pr6Pc../a3e94..

owner
4903 Pr6Pc../a3e94..

term root
8bb06..