Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . div_SNo (nat_factorial x0) (mul_SNo (nat_factorial (add_SNo x0 (minus_SNo x1))) (nat_factorial x1))
type
ι → ι → ι
theory
HotG
name
-
definition
PUfRN..
Megalodon
-
proofgold address
TMGEQ..
creator
4972 Pr6Pc../74e96..
owner
4972 Pr6Pc../74e96..
term root
9735b..