SSA Theorem

SSA Congruence Rule - Statement, Proof, Examples