Proofgold Proposition

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

type
prop

theory
HotG

name
PNoCut_strict_imv

proof
PUQ2Y..

Megalodon
PNoCut_strict_imv

proofgold address
TMPNQ..^{PNoCut_strict_imv}

creator
4903 Pr6Pc../55a39..

owner
4903 Pr6Pc../55a39..

term root
dd8b7..