Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . div_SNo (nat_factorial x0) (mul_SNo (nat_factorial (add_SNo x0 (minus_SNo x1))) (nat_factorial x1))
as obj
4f8b9..
as prop
-
theory
HotG
stx
3b6f0..
address
TMK4Z..