Hello(adsbygoogle = window.adsbygoogle || []).push({});

is it possible to prove that

A,B |- A = B where = is the triple bar?

How do you connect the two??

Thanks

P

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Prove that A,B |- A = B where = is the triple bar?

**Physics Forums | Science Articles, Homework Help, Discussion**