Gurren Lagann universe — narrative universe of the Gurren Lagann anime television series