Question: Are Robert le diable and Ormindo both operas?
Sentence (from "Ormindo"): "Ormindo" was first performed in 1644 at the Teatro San Cassiano, Venice, the world's first public opera house.
Relevant evidence: Yes