Formalize examples #76
Description
We should use the main result to construct some initial objects, e.g., the initial object of the signature LC+beta+eta.
This will show if our definitions are chosen well.
{{ message }}
We should use the main result to construct some initial objects, e.g., the initial object of the signature LC+beta+eta.
This will show if our definitions are chosen well.