Proofgold Proposition

∀ x0 : ι → ι → ο . ∀ x1 . quotient x0 x1 ⟶ x0 x1 x1

type
prop

theory
HotG

name
quotient_prop1

proof
PURwt..

Megalodon
quotient_prop1

proofgold address
TMHSp..^{quotient_prop1}

creator
4897 Pr6Pc../aa9ba..

owner
4897 Pr6Pc../aa9ba..

term root
c9cf0..