Proof: Do Has Key 14 0

Let's prove the following theorem:

map [ entry 0: (pair ("if", False)), [ ] ] contains key 0 = True

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 map [ entry 0: (pair ("if", False)), [ ] ] contains key 0 = True map [ entry 0: (pair ("if", False)), [ ] ] contains key 0 = True

Comments

Please log in to add comments