QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier DetectionMathematics·Conference Talk·Formal Methods & Type Theory · Leni Aniva · Stanford UniversityLeni AnivaStanford University—21:06