Proofgold Proposition

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

type
prop

theory
HoTg

name
quotient_prop1

proof
PUM2d..

Megalodon
-

proofgold address
TMWWe..

creator
4654 PrGxv../ce20e..

owner
4654 PrGxv../ce20e..

term root
c9cf0..