P
Initializing...
Local equivalence (4) ⟺ (7) in predicate form · Prove2Me