Original: WrestleMania is a professional wrestling pay-per-view event , produced annually in late March or early April by World Wrestling Entertainment ( WWE ) ( formerly known as the World Wrestling Federation ) .
Simplified: WrestleMania ( chronologically known as WrestleMania I ) was the first WrestleMania professional wrestling event produced by the World Wrestling Federation .