Previous: Creating new expanders, Up: Malebolge


3.4.4 Defining coercions