Tóm tắt cho tôi văn bản dưới đây gói gọn trong 1 câu:

Trận Điện Biên Phủ còn gọi là Chiến dịch Trần Đình là trận đánh lớn nhất trong Chiến tranh Đông Dương lần thứ nhất diễn ra tại lòng chảo Mường Thanh, châu Điện Biên, tỉnh Lai Châu (nay thuộc thành phố Điện Biên Phủ, tỉnh Điện Biên) giữa Quân đội Nhân dân Việt Nam và Quân đội Liên hiệp Pháp (gồm Lực lượng Viễn chinh Pháp, Binh đoàn Lê dương Pháp, quân phụ lực bản xứ và Quân đội Quốc gia Việt Nam).
Trận Điện Biên Phủ là trận đánh lớn nhất giữa quân đội Việt Nam và Pháp trong Chiến tranh Đông Dương.