Information About

Cylindrification





DEFINITION


Given a numbering
u the cyclindrification c(
u) is defined as
:\mathrm{Domain}(c(