Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . prim0 (λ x1 . and (x1omega) (ccad8.. x1 {x2 ∈ ordsucc x0|and (0x2) (coprime_nat x2 x0)}))
as obj
9ae2c..
as prop
-
theory
HotG
stx
3b6f0..
address
TMMdk..