Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . ∀ x3 x4 : ι → ι → ι . explicit_Ring_with_id x0 x1 x2 x3 x4∀ x5 . x5x0explicit_Ring_minus x0 x1 x3 x4 x5 = x4 (explicit_Ring_minus x0 x1 x3 x4 x2) x5
type
prop
theory
HotG
name
explicit_Ring_with_id_minus_mult
proof
PUajT..
Megalodon
explicit_Ring_minus_mult
proofgold address
TMXjF..explicit_Ring_minus_mult
creator
4949 Pr6Pc../a109e..
owner
4949 Pr6Pc../a109e..
term root
9d127..