You must log in or register to comment.
https://en.m.wikipedia.org/wiki/Universal_quantification
I usually used it as “for all”, but its looks like “for any” is used too
I sit corrected. It’s used as an arbitrary singular value within the proof, so for any always felt more appropriate.