Implementation: string is fixpoint, composition Z13058
Implementation (Z14)

This page displays in a limited way without JavaScript.
This page requires JavaScript to be used.