I'm trying to prove the following statement formally: if $P(A\mid B)=1$, then $P(A\mid B,C)=1$.
I can see why logically speaking the statement is correct but I'm lacking a formal argument, using perhaps some formulas.
I hope the description is clear enough. I am happy to give more details if needed.