chore(probability/martingale/upcrossing): remove duplicate lemma (#16125)
chore(probability/martingale/upcrossing): remove duplicate lemma (#16125)






leanprover-community/mathlib,leanprover-community/mathlib