In proofs, what does 'missing cogruence' mean, and how do I find it?
Nevermind, I found the answer!!!
Thanks no one!