I want to know the answer to the following question:
What were 1920x1080i and 1280x720p defined by?
All the background I'm provided with is that "(According to some reports, a mooted 750-line (720p) format (720 progressively scanned lines) was viewed by some at the ITU as an enhanced television format rather than a true HDTV format, and so was not included, although 1920×1080i and 1280×720p systems for a range of frame and field rates were defined by several US SMPTE standards.)". Is that enough to answer the question?
Answer: yes