Match `radius2` with [CRTF]
Match `radius2` with [CRTF]

Edit `radius2` to match theorem 7 of [CRTF]

cswiercz/abelfunctions,cswiercz/abelfunctions,abelfunctions/abelfunctions,cswiercz/abelfunctions,abelfunctions/abelfunctions,abelfunctions/abelfunctions