Proofgold Proof

pf
Let x0 of type ο be given. Let x1 of type ο be given. Assume H0: iff x0 x1. Apply unknownprop_6e9d790c24657bc527a0f62de036403ca00386b366ddc02915f8c3a4de529eee with x0, x1, False. The subproof is completed by applying H0. ■