По-японски:
劇場版 トリニティセブン -天空図書館〈ヘブンズライブラリー〉と真紅の魔王〈クリムゾンロード〉
Другие названия:
Gekijouban Trinity Seven 2, Trinity Seven Movie 2: Tenkuu Toshokan to Shinku no Maou