Theorem.
(
idi
)
(
∀ph :
prop
,
(
ph
→
ph
)
)
In Proofgold the corresponding term root is
f81b39...
and proposition id is
4cb920...
Proof:
Load proof
Proof not loaded.