bbking8779 bbking8779 14-05-2023 Engineering contestada explain the intuition behind the undecidable proof eqtm = { | m1 and m2 are tms and l(m1) = l(m2)} i.e., why does it work?