[1W6](Proposed on 2021-10-18) Prove that \(A=B\) if and only if \(((Aβ B) β§ (Bβ A) )\).
[1W7]βΊβ»
