Rule_of_Idempotence_v2
Provedproofwikiretry
p and p iff p, and p or p iff p.
Formal statement
theorem Rule_of_Idempotence_v2 (p : Prop) : (p ∧ p ↔ p) ∧ (p ∨ p ↔ p) := by sorry
p and p iff p, and p or p iff p.
theorem Rule_of_Idempotence_v2 (p : Prop) : (p ∧ p ↔ p) ∧ (p ∨ p ↔ p) := by sorry