Regular tessellation in hyperbolic spaceregular tessellation in hyperbolic space is a regular tessellation.