Theorem Details
-- double negation
theorem double_negation {P : Prop} (h : ¬¬P) : P := by sorry
Bounty: 0.001 ETH
Status: Open
-- double negation
theorem double_negation {P : Prop} (h : ¬¬P) : P := by sorryBounty: 0.001 ETH
Status: Open