Proofgold Object

λ x0 x1 . 19c2c.. x0 (λ x2 . λ x3 : ι → ι → ι . 987b2.. (1216a.. x2 (quotient (7a200.. x0 x1))) (λ x4 x5 . canonical_elt (7a200.. x0 x1) (x3 x4 x5)))

type
ι → ι → ι

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMY6L..

creator
4803 PrGxv../df7b7..

owner
4803 PrGxv../df7b7..

term root
67541..